Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Anchor
Schwarz 05
Schwarz 05

[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.

Anchor
Seacord 03
Seacord 03

[Seacord 2003] Seacord, Robert C., Plakosh, Daniel, & Lewis, Grace A. Modernizing Legacy Systems: Software Technologies, Engineering Processes, and Business Practices. Addison-Wesley, February 2003.

...