Fine-Grained Inspection for Higher-Assurance Software Security in Open Source

J. P. McDermott
2010 2010 43rd Hawaii International Conference on System Sciences  
This paper reports our experiences in using a finegrained 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.
doi:10.1109/hicss.2010.211 dblp:conf/hicss/McDermott10 fatcat:crx3fnanwvdmjkkm3kgbqip4re