Methodology to Build Secure Systems Using Patterns: 2006”, (Presentation at the 22nd Annual Computer
Security Applications Conference, December 11-15, 2006).
5.3.4 Formal Methods and Software Design
In the design phase, formal methods are used to build and refine the software’s