DocumentCode
3032031
Title
Tools for Traceability in Secure Software Development
Author
Yu, Yijun ; Jurjens, Jan ; Schreck, Jorg
Author_Institution
Open Univ., Milton Keynes
fYear
2008
fDate
15-19 Sept. 2008
Firstpage
503
Lastpage
504
Abstract
For secure and dependable software system development, one must ensure that security requirements are truly traceable to design and implementation, and the traceability links can be updated accordingly to changed entities. To address this, we present a suite of security requirements analysis and traceability assurance tools and demonstrate how they are effectively integrated.
Keywords
Unified Modeling Language; program diagnostics; program verification; security of data; software tools; UMLSec; dependable software development; secure software development; security requirements analysis; software traceability assurance tool; Cryptographic protocols; Cryptography; Java; Open source software; Programming; Security; Sockets; Software systems; Testing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on
Conference_Location
L´Aquila
ISSN
1938-4300
Print_ISBN
978-1-4244-2187-9
Electronic_ISBN
1938-4300
Type
conf
DOI
10.1109/ASE.2008.92
Filename
4639385
Link To Document