Gavin Lowe

发表

Semantic models for information flow

Gavin Lowe, G. Lowe, 2004, Theor. Comput. Sci..

Probabilities and priorities in timed CSP

Gavin Lowe, G. Lowe, 1993 .

Analysing Applications Layered on Unilaterally Authenticating Protocols

Gavin Lowe, Thomas Gibson-Robinson, 2011, Formal Aspects in Security and Trust.

Probabilistic and Prioritized Models of Timed CSP

Gavin Lowe, G. Lowe, 1995, Theor. Comput. Sci..

On Timed Models and Full Abstraction

Joël Ouaknine, Gavin Lowe, J. Ouaknine, 2006, MFPS.

Specification of communicating processes: temporal logic versus refusals-based refinement

Gavin Lowe, G. Lowe, 2008, Formal Aspects of Computing.

On the specification and analysis of secure transport layers

Gavin Lowe, 2008 .

A Hierarchy of Failures-Based Models

Gavin Lowe, Christie Marr, C. Marr, 2004, EXPRESS.

Testing for linearizability

Gavin Lowe, G. Lowe, 2017, Concurr. Comput. Pract. Exp..

Discovering and correcting a deadlock in a channel implementation

Gavin Lowe, 2019, Formal Aspects of Computing.

Models for CSP with availability information

Gavin Lowe, G. Lowe, 2010, Mathematical Structures in Computer Science.

Towards a Completeness Result for Model Checking of Security Protocols (Extended Abstract)

Gavin Lowe, 1998 .

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area

Gavin Lowe, Gordon Thomas Rohrmair, G. Lowe, 2002, FASec.

Managing Dynamic User Communities in a Grid of Autonomous Resources

Gavin Lowe, Ákos Frohner, Roberto Cecchini, 2003, ArXiv.

Model checking Timed CSP

Joël Ouaknine, A. W. Roscoe, Gavin Lowe, 2014, HOWARD-60.

Casper: a compiler for the analysis of security protocols

Gavin Lowe, G. Lowe, 1997, Proceedings 10th Computer Security Foundations Workshop.

Using CSP to Detect Errors in the TMN Protocol

A. W. Roscoe, Gavin Lowe, G. Lowe, 1997, IEEE Trans. Software Eng..

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Gavin Lowe, Alessandro Armando, A. Armando, 2010, Lecture Notes in Computer Science.

A Debugger for Communicating Scala Objects

Gavin Lowe, Andrew Bate, G. Lowe, 2012, CPA.

On distributed security transaction that use secure transport protocol

Gavin Lowe, Philippa J. Hopcroft, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

Recent Developments in FDR

Joël Ouaknine, James Worrell, Michael Goldsmith, 2012, CAV.

On the Specification of Secure Channels

Gavin Lowe, 2007 .

Analyses of the reverse path forwarding routing algorithm

Gavin Lowe, Christie Marr, C. Marr, 2004, International Conference on Dependable Systems and Networks, 2004.

FDR: From Theory to Industrial Application

Augusto Sampaio, Gavin Lowe, Thomas Gibson-Robinson, 2017, Concurrency, Security, and Puzzles.

Fault-Preserving Simplifying Transformations for Security Protocols

Gavin Lowe, Mei Lin Hui, 2001, J. Comput. Secur..

Analysing Lock-Free Linearizable Datatypes Using CSP

Gavin Lowe, 2017, Concurrency, Security, and Puzzles.

Understanding Abstractions of Secure Channels

Gavin Lowe, Allaa Kamil, 2010, Formal Aspects in Security and Trust.

Implementing Generalised Alt

Gavin Lowe, G. Lowe, 2011 .

Specifying Secure Transport Layers

Gavin Lowe, 2008 .

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

Gavin Lowe, 2004 .

Analysing Security Protocols using CSP

Gavin Lowe, 2011, Formal Models and Techniques for Analyzing Security Protocols.

Towards a completeness result for model checking of security protocols

Gavin Lowe, G. Lowe, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).

Automating Data Independence

A. W. Roscoe, Gavin Lowe, Philippa J. Hopcroft, 2000, ESORICS.

Models for CSP with availability information

Gavin Lowe, G. Lowe, 2010, Mathematical Structures in Computer Science.

Some new attacks upon security protocols

Gavin Lowe, G. Lowe, 1996, Proceedings 9th IEEE Computer Security Foundations Workshop.

Analysing a Stream Authentication Protocol Using Model Checking

Gavin Lowe, Philippa J. Hopcroft, 2002, ESORICS.

Extending CSP with Tests for Availability

Gavin Lowe, G. Lowe, 2009, CPA.

How to prevent type flaw attacks on security protocols

Gavin Lowe, Steve A. Schneider, James Heather, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

Panel Introduction

Dieter Gollmann, Gavin Lowe, Riccardo Focardi, 1998 .

An Attack on the Needham-Schroeder Public-Key Authentication Protocol

Gavin Lowe, G. Lowe, 1995, Inf. Process. Lett..

Panel Introduction: Varieties of Authentication

Martín Abadi, Dieter Gollmann, Roberto Gorrieri, 1998, CSFW.

Analysing the Information Flow Properties of Object-Capability Patterns

Gavin Lowe, Toby C. Murray, 2009, Formal Aspects in Security and Trust.

Analyzing a Library of Security Protocols using Casper and FDR

Gavin Lowe, 1999 .

Specifying and Modelling Secure Channels in Strand Spaces

Gavin Lowe, Allaa Kamil, 2009, Formal Aspects in Security and Trust.

Preface

Gavin Lowe, Alessandro Armando, 2012, J. Comput. Secur..

CSP-based counter abstraction for systems with node identifiers

Gavin Lowe, Tomasz Mazur, G. Lowe, 2014, Sci. Comput. Program..

A hierarchy of failures-based models: theory and application

Gavin Lowe, Christie Marr, C. Marr, 2005, Theor. Comput. Sci..

Casper: a compiler for the analysis of security protocols

Gavin Lowe, 1998 .

Specifying Secure Transport Channels

Gavin Lowe, Christopher Dilloway, 2008, 2008 21st IEEE Computer Security Foundations Symposium.

Verifying layered security protocols

Gavin Lowe, Thomas Gibson-Robinson, Allaa Kamil, 2015, J. Comput. Secur..

Relating the Prioritized Model of Timed CSP to the Timed Failures Model

Gavin Lowe, 1983 .

Defining information flow quantity

Gavin Lowe, G. Lowe, 2004, J. Comput. Secur..

On Information Flow and Refinement−Closure

Gavin Lowe, G. Lowe, 2007 .

Lock-free concurrent binomial heaps

Gavin Lowe, G. Lowe, 2018, J. Log. Algebraic Methods Program..

View Abstraction for Systems with Component Identities

Gavin Lowe, 2018, FM.

On Distributed Security Transactions that use Secure Transport Protocols

Gavin Lowe, Philippa J. Broadfoot, G. Lowe, 2003 .

Concurrent Depth-First Search Algorithms

Gavin Lowe, G. Lowe, 2014, TACAS.

Safe simplifying transformations for security protocols or not just the Needham Schroeder pubic key protocol

Gavin Lowe, Mei Lin Hui, G. Lowe, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.

Analysing Protocol Subject to Guessing Attacks

Gavin Lowe, 2004, J. Comput. Secur..

On Refinement-Closed Security Properties and Nondeterministic Compositions

Gavin Lowe, Toby C. Murray, 2009, Electron. Notes Theor. Comput. Sci..

Proofs with Graphs

Gavin Lowe, Sharon Curtis, G. Lowe, 1996, Sci. Comput. Program..

How to prevent type flaw attacks on security protocols

Gavin Lowe, James Heather, Steve Schneider, 2003 .

Implementing Generalised Alt - A Case Study in Validated Design using CSP

Gavin Lowe, G. Lowe, 2011, CPA.

Quantifying information flow

Gavin Lowe, G. Lowe, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

Analysing TLS in the strand spaces model

Gavin Lowe, Allaa Kamil, G. Lowe, 2011, J. Comput. Secur..

A type reduction theory for systems with replicated components

Gavin Lowe, Tomasz Mazur, G. Lowe, 2012, Log. Methods Comput. Sci..

Using CSP to verify sequential consistency

Jim Davies, Gavin Lowe, G. Lowe, 1999, Distributed Computing.

Fault-Preserving Simplifying Transformations for Security Protocols or Not Just the Needham Schroede

Gavin Lowe, Mei Lin Hui, 2000 .

Authority Analysis for Least Privilege Environments

Toby Murray, Gavin Lowe, Toby C. Murray, 2007 .

Architectures for Secure Delegation Within Grids

Gavin Lowe, G. Lowe, 2003 .

Analysing layered security protocols

Gavin Lowe, G. Lowe, 2013 .

Concurrent depth-first search algorithms based on Tarjan’s Algorithm

Gavin Lowe, 2015, International Journal on Software Tools for Technology Transfer.

On the Automatic Verification of Non-Standard Measures of Consistency

Gavin Lowe, Christie Marr, C. Marr, 2003, IWFM.

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

Gavin Lowe, G. Lowe, 1996, Softw. Concepts Tools.

A Family of Attacks upon Authentication Protocols

Gavin Lowe, 1997 .

Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes

Gavin Lowe, G. Lowe, 1993 .

Using data-independence in the analysis of intrusion detection systems

Gavin Lowe, Gordon Thomas Rohrmair, G. Lowe, 2005, Theor. Comput. Sci..

On CSP Refinement Tests That Run Multiple Copies of a Process

Gavin Lowe, G. Lowe, 2009, AVoCS.

Scheduling-Oriented Models for Real-Time Systems

Gavin Lowe, 1995, Comput. J..

Safe Simplifying Transformations for Security Protocols.

Gavin Lowe, Mei Lin Hui, 1999 .

Refinement of Complex Systems: A Case Study

Hussein Zedan, Gavin Lowe, 1995, Comput. J..

Data independent verification of crypto-protocols

A. W. Roscoe, Gavin Lowe, Philippa J. Hopcroft, 2000, Electron. Notes Theor. Comput. Sci..

A Graphical Calculus

Gavin Lowe, Sharon Curtis, G. Lowe, 1995, MPC.

Counter Abstraction in the CSP/FDR setting

Gavin Lowe, Tomasz Mazur, G. Lowe, 2009, AVoCS.

Analysing a stream authentication protocol using model checking

Gavin Lowe, Philippa J. Hopcroft, G. Lowe, 2002, International Journal of Information Security.

Symmetry reduction in CSP model checking

Gavin Lowe, Thomas Gibson-Robinson, 2019, International Journal on Software Tools for Technology Transfer.

A hierarchy of authentication specifications

Gavin Lowe, G. Lowe, 1997, Proceedings 10th Computer Security Foundations Workshop.

A Computational Justification for Guessing Attack Formalisms

Gavin Lowe, G. Lowe, 2005 .

Programming Research Group Some Extensions to the Probabilistic, Biased Model of Timed Csp Some Extensions to the Probabilistic, Biased Model of Timed Csp

Gavin Lowe, 1992 .

A Hierarchy of Authentication Speci fi cations

Gavin Lowe, G. Lowe, 2008 .

Programming Research Group Specification and Proof of Prioritized, Timed Csp Processes Speciication and Proof of Prioritized, Timed Csp Processes

Gavin Lowe, G. Lowe, 2007 .