DocumentCode
1806603
Title
Fine-Grained Inspection for Higher-Assurance Software Security in Open Source
Author
McDermott, J.P.
Author_Institution
Naval Res. Lab., Orlando, FL, USA
fYear
2010
fDate
5-8 Jan. 2010
Firstpage
1
Lastpage
10
Abstract
This paper reports our experiences in using a fine-grained software inspection tool to increase productivity in both software security evidence construction and internals re-engineering, for a higher-assurance open source software project named Xenon. We explain why fined-grained tool-based inspection is essential for a higher-assurance open source project.
Keywords
inspection; productivity; public domain software; security of data; software reliability; systems re-engineering; Xenon; fine grained inspection; fine grained software inspection tool; higher assurance software security; internals re-engineering; open source; open source software project; software security evidence construction; Best practices; Inspection; Kernel; Linux; Open source software; Prototypes; Security; Software tools; Virtual machine monitors; Xenon;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences (HICSS), 2010 43rd Hawaii International Conference on
Conference_Location
Honolulu, HI
ISSN
1530-1605
Print_ISBN
978-1-4244-5509-6
Electronic_ISBN
1530-1605
Type
conf
DOI
10.1109/HICSS.2010.211
Filename
5428667
Link To Document