Challenges and Future Directions of Software Technology: Secure Software Development

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 sytems and secure services modeling.

• Type: Journal
• Year: 2010
• Where: COMPSAC
• Authors: Bhavani M. Thuraisingham, Kevin W. Hamlen
• Keywords: COMPSAC 2010, Large Scale Software, Major Security Challenges, Secure Services, Software Engineering