...
[Schwarz 2005] Schwarz, B., Wagner, Hao Chen, Morrison, D., West, G., Lin, J., & Tu, J. Wei. "Model checking an entire Linux distribution for security violations."
Proceedings of the 21st Annual Computer Security Applications Conference, December 2005 (ISSN 1063-9527; ISBN 0-7695-2461-3).
Anchor |
---|
| SD:ISO/IEC 2011 |
---|
| SD:ISO/IEC 2011 |
---|
|
[SD:ISO/IEC 2011] ISO/IEC. N1579 Information Technology, "Programming languages, their environments and system software interfaces," C Secure Coding Rules, September, 2011.
[Seacord 2003] Seacord, Robert C., Plakosh, Daniel, & Lewis, Grace A.
Modernizing Legacy Systems: Software Technologies, Engineering Processes, and Business Practices. Addison-Wesley, February 2003.
...