dodson, 1996, Specification and Classification of Generic Security Flaws for the Tester's Assistant Library
bishop, 1999, Vulnerabilities Analysis, Proceedings of the Recent Advances in Intrusion Detection
10.1109/SEW.2001.992653
10.1109/ENABL.2001.953404
holzmann, 1990, Design and Validation of Computer Protocols
wen, 1998, Model checking Security Protocols: A Case Study Using SPIN, Technical Report I
10.1145/263244.263267
callahan, 1998, Generating Test Oracles via Model Checking, Technical Report # NASA-IVV-98–015
gilliam, 2000, Reducing Software Security Risk Through an Integrated Approach, Proc IEEE Int Workshops Enabling Technol Infrastruct Collab Enterp, 141