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