DocumentCode
1863794
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
fYear
2010
fDate
19-23 July 2010
Firstpage
17
Lastpage
20
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual
Conference_Location
Seoul
ISSN
0730-3157
Print_ISBN
978-1-4244-7512-4
Electronic_ISBN
0730-3157
Type
conf
DOI
10.1109/COMPSAC.2010.88
Filename
5676327
Link To Document