Title :
Challenges and Future Directions of Software Technology: Secure Software Development
Author :
Thuraisingham, Bhavani ; Hamlen, Kevin W.
Author_Institution :
Comput. Sci. Dept., Univ. of Texas at Dallas, Richardson, TX, USA
Abstract :
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.
Keywords :
formal specification; formal verification; security of data; software engineering; formal method; secure services modeling; software development; software security; software technology; Monitoring; Object oriented modeling; Runtime; Security; Software; Testing; Unified modeling language;
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-7512-4
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2010.88
