Found 185 results
"Dolev-Yao is no better than Machiavelli", First Workshop on Issues in the Theory of Security - WITS'00, Geneva, Switzerland, pp. 87-92, 2000.
"Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives", First Workshop on Issues in the Theory of Security - WITS'00, Geneva, Switzerland, pp. 87-92, 2000.
"Invariant Generation Techniques in Cryptographic Protocol Analysis", 13th Computer Security Foundations Workshop: IEEE Computer Society Press, 2000.
"Network Pump (NP) Security Target", NRL Memorandum Report, no. 5540-00-8459, 2000.
"A New Paradigm Hidden in Steganography", New Security Paradigms Workshop, Cork, Ireland, Ballycotton, Co., 2000.
"Onion Routing Access Configurations", DISCEX 2000: Proceedings of the DARPA Information Survivability Conference and Exposition, vol. 1, Hilton Head, South Carolina, IEEE Computer Society Press, pp. 34-40, 2000.
"Open Issues in Formal Methods for Cryptographic Protocol Analysis", DISCEX 2000: IEEE Computer Society Press, pp. 237-250, 2000.
"Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking", Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000): Springer, 2000.
"TAME: Using PVS Strategies for Special-Purpose Theorem Proving", Annals of Mathematics and Artificial Intelligence, vol. 29, issue 1-4, pp. 139-181, 2000.
"Towards an Analysis of Onion Routing Security", Workshop on Design Issues in Anonymity and Unobservability, Berkeley, California, 2000.
"Using TAME to Prove Invariants of Automata Models: Two Case Studies", Third ACM Workshop on Formal Methods in Software Practice (FMSP'00), Portland, Oregon, pp. 25-36, 2000.
"Model Checking Complete Requirements Specifications Using Abstraction", Automated Software Engineering, vol. 6, issue 1, pp. 37-68, 1999.
"SCR: A Practical Approach to Building a High Assurance COMSEC System", 15th Annual Computer Security Applications Conference (ACSAC '99): IEEE Computer Society Press, 1999.
"Using Model Checking to Generate Tests from Requirements Specifications", Joint 7th Eur. Software Engineering Conf. and 7th ACM SIGSOFT Intern. Symp. on Foundations of Software Eng. (ESEC/FSE99), Toulouse, France, 1999.
"Automatic Generation of State Invariants from Requirements Specifications", 6th International Symposium on the Foundations of Software Engineering (FSE-6), Orlando, Florida, 1998.
"Mechanical Verification of Timed Automata: A Case Study", NRL Memorandum Report, no. 5546-98-8180, 1998.
"On the Need for 'Practical' Formal Methods", Formal Techniques in Real-Time and Real-Time Fault-Tolerant Systems, 5th Intern. Symposium (FTRTFT'98), vol. LICS 1486, Lyngby, Denmark, pp. 18-26, 1998.
"SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998.
"TAME: A PVS Interface to Simplify Proofs for Automata Models", UITP, 1998.
"Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications", IEEE Transactions on Software Engineering, vol. 24, issue 11, 1998.
"Applying the SCR Requirements Method to a Simple Autopilot", Fourth NASA Langley Formal Methods Workshop, Hampton, Virginia, 1997.
"Human-Style Theorem Proving Using PVS", TPHOLs, Murray Hill, New Jersey, 1997.
"Verifying Hybrid Systems Modeled as Timed Automata: A Case Study", HART, Grenoble, France, 1997.
"Verifying SCR Requirements Specifications using State Exploration", First ACM SIGPLAN Workshop on Automatic Analysis of Software, Paris, France, 1997.
"Automated Consistency Checking of Requirements Specifications", ACM Transactions on Software Engineering and Methodology, vol. 5, issue 3, pp. 231-261, 1996.