Lowe, Gavin - Computing Laboratory, University of Oxford

• A Hierarchy Authentication Specifications
• Formal Aspects of Computing (1993) 3: 1--000 fl 1993 BCS
• Semantic Models for Information Flow Gavin Lowe #
• On Distributed Security Transactions that use Secure Transport Protocols
• How to Prevent Type Flaw Attacks on Security James Heather Gavin Lowe y Steve Schneider z
• Towards a Completeness Result for Model Checking of Security Protocols
• A Hierarchy of Authentication Specifications Department of Mathematics and Computer Science
• A CSP approach to sequential consistency Gavin Lowe 1 and Jim Davies 2
• Using CSP to detect Insertion and Evasion Possibilities within the Intrusion Detection Area
• On the automatic verification of nonstandard measures of consistency #
• Some New Attacks upon Security Protocols Oxford University Computing Laboratory, Wolfson Building,
• Automating Data Independence P. J. Broadfoot 1 , G. Lowe 2 , and A. W. Roscoe 1?
• Analysing a Stream Authentication Protocol using Model Checking
• How to Prevent Type Flaw Attacks on Security Protocols James Heather \Lambda Gavin Lowe y Steve Schneider \Lambda
• Analyzing a Library of Security Protocols using Casper and FDR Ben Donovan Paul Norris Gavin Lowe
• Quantifying Information Flow Gavin Lowe #
• AVIS'04 Preliminary Version On the Application of CounterexampleGuided
• Probabilistic and Prioritized Models of Timed CSP May 27, 1994
• Programming Research Group SCHEDULINGORIENTED MODELS
• Analysing protocols subject to guessing attacks November 11, 2001
• A Family of Attacks Authentication Protocols
• Casper: A Compiler for the Analysis of Security Gavin Lowe \Lambda
• Programming Research Group FORMAL DEVELOPMENT OF AIRCRAFT CONTROL
• Programming Research Group REPRESENTING NONDETERMINISM
• Using DataIndependence in the Analysis of Intrusion Detection Systems
• Using CSP to detect errors in the TMN protocol Gavin Lowe \Lambda Bill Roscoe y
• Refinement of Complex Systems: A Case Study G. Lowe \Lambda H. Zedan y
• EXPRESS 2003 Preliminary Version A Hierarchy of FailuresBased Models
• SchedulingOriented Models RealTime Systems
• FaultPreserving Simplifying Transformations for Security Protocols
• Reverse Path Forwarding Christie Bolton and Gavin Lowe
• Defining Information Flow Quantity Gavin Lowe #
• An Attack on the NeedhamSchroeder PublicKey Authentication Protocol
• Proofs with Graphs Sharon Curtis and Gavin Lowe
• Programming Research Group SOME EXTENSIONS TO THE PROBABILISTIC,
• Safe Simplifying Transformations for Security Not Just the Needham Schroeder Public Key Protocol
• Breaking and Fixing the NeedhamSchroeder
• On a Calculus for Security Protocol Development Gavin Lowe and Michael Auty
• Programming Research Group REFINEMENT OF COMPLEX SYSTEMS
• Analysing protocols subject to guessing attacks Gavin Lowe #
• Probabilities and Priorities St Hugh's College
• Programming Research Group INFINITE BEHAVIOURS