Bibliography
- Matt Bishop and
  Michael Dilger.
Checking for race conditions in file accesses.
Computing Systems, 9(2):131–152, Spring 1996.
 
- Michael Howard and
  David LeBlanc.
Writing Secure Code.
Microsoft Press, Redmond, WA, second edition, 2003.
 
- Gary McGraw and
  Edward W. Felten.
Securing Java: Getting Down to Business with Mobile Code.
Wiley, New York, 1999.
 
- Diomidis Spinellis.
Reflection as a mechanism for software integrity verification.
ACM Transactions on Information and System Security, 3(1):51–62,
  February 2000.
 
- John Viega and Gary
  McGraw.
Building Secure Software: How to Avoid Security Problems the Right Way.
Addison-Wesley, 2001.
 
- J. Viega, J. T. Bloch,
  Y. Kohno, and G. McGraw.
Its4: A static vulnerability scanner for c and c++ code.
In Proceedings of the 16th Annual Computer Security Applications
  Conference (ACSAC'00), page 257. IEEE Computer Society, 2000.