Specification of communicating processes: temporal logic versus refusals-based refinement od Lowe, G

A Family of Attacks upon Authentication Protocols od Lowe, G

Towards a Completeness Result for Model Checking of Security Protocols od Lowe, G

A Hierarchy of Authentication Specification od Lowe, G

Semantic models for information flow od Lowe, G

An Attack on the Needham−Schroeder Public−Key Authentication Protocol od Lowe, G

Casper: A Compiler for the Analysis of Security Protocols od Lowe, G

View abstraction for systems with component identities od Lowe, G

On CSP refinement tests that run multiple copies of a process od Lowe, G

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR od Lowe, G

Implementing generalised alt - A case study in validated design using CSP od Lowe, G

Some new attacks upon security protocols od Lowe, G

Extending CSP with tests for availability od Lowe, G

Specification of communicating processes: temporal logic versus refusals−based refinement od Lowe, G

Scheduling−Oriented Models for Real−Time Systems od Lowe, G

Models for CSP with availability information od Lowe, G

Analysing Protocol Subject to Guessing Attacks od Lowe, G

Extending CSP with tests for availability od Lowe, G

Discovering and correcting a deadlock in a channel implementation od Lowe, G

Quantifying Information Flow od Lowe, G