Date Added: Sep 2010
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure systems and secure services modeling. Large scale software development is one of the biggest challenges faced by corporations. Incorporating security into the software development process is even more challenging. Some of the systems need end-to-end security while some others have to carry out the mission securely even if the components may be compromised. Secure software development involves many aspects, from security policy definition, formal modeling, developing security architecture and software models, testing verification and validation, and finally evaluation, certification, and accreditation. It does not end here.