101
Voted
COMPSAC
2010
IEEE
15 years 2 days ago
2010
IEEE
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 sy...