Gavin Lowe: Publications

[1]	Specification of communicating processes: temporal logic versus refusals-based refinement Gavin Lowe Formal Aspects of Computing, 2008. Details \| BibTeX \| Download (pdf)

[2]	Specifying Secure Transport Layers Christopher Dilloway, Gavin Lowe In 21st IEEE Computer Security Foundations Symposium (CSF 21) 2008. Details \| BibTeX \| Download (pdf)

[3]	On CSP refinement tests that run multiple copies of a process Gavin Lowe 2007. Details \| BibTeX \| Download (pdf)

[4]	On information Flow and refinement-closure Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07) 2007. Details \| BibTeX \| Link (pdf)

[5]	Authority Analysis for Least Privilege Environments Toby Murray, Gavin Lowe In Proceedings of Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'07) 2007. Details \| BibTeX \| Link (pdf)

[6]	On the Specification of Secure Channels Christopher Dilloway, Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07) 2007. Details \| BibTeX \| Download (pdf)

[7]	On Timed Models and Full Abstraction Gavin Lowe, Joël Ouaknine Electr. Notes Theor. Comput. Sci. Vol. 155, pages 497-519. 2006. Details \| BibTeX \| Link (ps) \| DOI (10.1016/j.entcs.2005.11.070)

[8]	A Computational Justification for Guessing Attack Formalisms Tom Newcomb, Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '06) 2006. Details \| BibTeX \| Download (pdf)

[9]	A computational justification for guessing attack formalisms Tom Newcomb, Gavin Lowe No. RR-05-05, Technical Report, Oxford University Computing Laboratory. October 2005. Details \| BibTeX \| Download (pdf)

[10]	Using data-independence in the analysis of intrusion detection systems Gordon Thomas Rohrmair, Gavin Lowe Theor. Comput. Sci. Vol. 340, No. 1, pages 82-101. 2005. Details \| BibTeX \| Link (ps) \| DOI (10.1016/j.tcs.2005.03.004)

[11]	A hierarchy of failures-based models: theory and application Christie Bolton, Gavin Lowe Theoretical Computer Science, Vol. 330, No. 3, pages 407-438. 2005. Details \| BibTeX \| Link (ps) \| DOI (10.1016/j.tcs.2004.10.004)

[12]	Semantic models for information flow Gavin Lowe Theor. Comput. Sci. Vol. 315, No. 1, pages 209-256. 2004. Details \| BibTeX \| Link (ps) \| DOI (10.1016/j.tcs.2003.11.019)

[13]	Defining information flow quantity Gavin Lowe Journal of Computer Security, Vol. 12, No. 3-4, pages 619-653. 2004. Details \| BibTeX \| Link (ps)

[14]	Analysing Protocol Subject to Guessing Attacks Gavin Lowe Journal of Computer Security, Vol. 12, No. 1, pages 83-98. 2004. Details \| BibTeX \| Link (ps)

[15]

Analysing a stream authentication protocol using model checking

Philippa J. Hopcroft, Gavin Lowe

Int. J. Inf. Sec. Vol. 3, No. 1, pages 2-13. 2004.

The CSP scripts associated with this paper are available here: http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/TESLA/index.html

Details | BibTeX | Link (ps) | DOI (10.1007/s10207-004-0040-1)

[16]	A Hierarchy of Failures-Based Models Christie Bolton, Gavin Lowe Electr. Notes Theor. Comput. Sci. Vol. 96, pages 129-152. 2004. Details \| BibTeX \| DOI (10.1016/j.entcs.2004.04.025)

[17]	Analyses of the Reverse Path Forwarding Routing Algorithm Christie Bolton, Gavin Lowe In 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings pages 485-494. IEEE Computer Society, 2004. Details \| BibTeX \| Link (ps)

[18]	On the Application of Counterexample-Guided Abstraction refinement and data independence to the parameterised model checking problem Gavin Lowe In Proceedings of the Third International Workshop on Automatic Verification of Infinite-State Systems, (AVIS 2004) 2004. Details \| BibTeX \| Link (ps)

[19]	How to Prevent Type Flaw Attacks on Security Protocols James Heather, Gavin Lowe and Steve Schneider Journal of Computer Security, Vol. 11, No. 2, pages 217-244. 2003. Details \| BibTeX \| Link (ps)

[20]	Managing Dynamic User Communities in a Grid of Autonomous Resources Roberto Alfieri et al. CoRR, Vol. cs.DC/0306004. 2003. Details \| BibTeX \| Link

[21]

On the Automatic Verification of Non-Standard Measures of Consistency

Christie Bolton, Gavin Lowe

In Joseph M. Morris, Benjamin Aziz and Frédéric Oehl, editors, 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003 BCS, 2003.

Details | BibTeX | Link (ps)

[22]	On Distributed Security Transactions that Use Secure Transport Protocols Philippa J. Broadfoot, Gavin Lowe In 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA pages 141-. IEEE Computer Society, 2003. Details \| BibTeX \| Link (ps)

[23]

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

Gordon Thomas Rohrmair, Gavin Lowe

In Ali E. Abdallah, Peter Ryan and Steve Schneider, editors, Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers Vol. 2629 of Lecture Notes in Computer Science, pages 205-220. Springer, 2002.

Details | BibTeX | Link (ps)

[24]

Analysing a Stream Authentication Protocol Using Model Checking

Philippa J. Broadfoot, Gavin Lowe

In Dieter Gollmann, Günter Karjoth and Michael Waidner, editors, Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings Vol. 2502 of Lecture Notes in Computer Science, pages 146-161. Springer, 2002.

Details | BibTeX

[25]	Quantifying Information Flow Gavin Lowe In 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada pages 18-31. IEEE Computer Society, 2002. Details \| BibTeX \| Link (ps)

[26]	Fault-Preserving Simplifying Transformations for Security Protocols Mei Lin Hui, Gavin Lowe Journal of Computer Security, Vol. 9, No. 1/2, pages 3-46. 2001. Details \| BibTeX \| Link (ps)

[27]	Modelling and analysis of security protocols Peter Ryan et al. Addison-Wesley. 2001. Details \| BibTeX

[28]	Data independent verification of crypto-protocols A. W. Roscoe, Philippa J. Broadfoot and Gavin Lowe Electr. Notes Theor. Comput. Sci. Vol. 40. 2000. Details \| BibTeX \| Link

[29]	Data independent verification of crypto-protocols A. W. Roscoe, Philippa J. Broadfoot and Gavin Lowe Electr. Notes Theor. Comput. Sci. Vol. 40. 2000. Details \| BibTeX \| Link

[30]

Automating Data Independence

Philippa J. Broadfoot, Gavin Lowe and A. W. Roscoe

In Frédéric Cuppens et al. , editors, Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings Vol. 1895 of Lecture Notes in Computer Science, pages 175-190. Springer, 2000.

Details | BibTeX | Link (ps) | DOI (10.1007/10722599_11)

[31]	How to Prevent Type Flaw Attacks on Security Protocols James Heather, Gavin Lowe and Steve Schneider In CSFW pages 255-268. 2000. Details \| BibTeX \| Link (ps)

[32]	Towards a Completeness Result for Model Checking of Security Protocols Gavin Lowe Journal of Computer Security, Vol. 7, No. 1, 1999. Details \| BibTeX \| Link (ps)

[33]

Analyzing a Library of Security Protocols using Casper and FDR

Ben Donovan, Paul Norris and Gavin Lowe

In Proceedings of the Workshop on Formal Methods and Security Protocols 1999.

Some of the Casper scripts are available here: http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/prots.tar.gz

Details | BibTeX

[34]	Using CSP to Verify Sequential Consistency Gavin Lowe, Jim Davies Distributed Computing, Vol. 12, No. 2-3, pages 91-103. 1999. Details \| BibTeX \| Link (ps.gz)

[35]	Safe Simplifying Transformations for Security Protocols Mei Lin Hui, Gavin Lowe In CSFW pages 32-43. 1999. Details \| BibTeX \| Link (ps)

[36]	Casper: A Compiler for the Analysis of Security Protocols Gavin Lowe Journal of Computer Security, Vol. 6, No. 1-2, pages 53-84. 1998. Details \| BibTeX \| Link (ps)

[37]	Towards a Completeness Result for Model Checking of Security Protocols Gavin Lowe In Computer Security Foundations Workshop pages 96-105. 1998. Details \| BibTeX \| Link (pdf)

[38]	Panel Introduction: Varieties of Authentication Roberto Gorrieri et al. In Computer Security Foundations Workshop pages 79-82. 1998. Details \| BibTeX \| Link (pdf)

[39]	Using CSP to Detect Errors in the TMN Protocol Gavin Lowe, A. W. Roscoe IEEE Trans. Software Eng. Vol. 23, No. 10, pages 659-669. 1997. Details \| BibTeX \| Link (ps)

[40]	A Hierarchy of Authentication Specification Gavin Lowe In 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA pages 31-44. IEEE Computer Society, 1997. Details \| BibTeX \| Link (ps)

[41]	Casper: A Compiler for the Analysis of Security Protocols Gavin Lowe In 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA pages 18-30. IEEE Computer Society, 1997. Details \| BibTeX \| Link (ps)

[42]	A Family of Attacks upon Authentication Protocols Gavin Lowe No. 1997/5, Technical Report, Department of Mathematics and Computer Science, University of Leicester. 1997. Details \| BibTeX \| Link (ps)

[43]	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR Gavin Lowe Software - Concepts and Tools, Vol. 17, No. 3, pages 93-102. 1996. Details \| BibTeX \| Link (ps)

[44]	Proofs with Graphs Sharon Curtis, Gavin Lowe Sci. Comput. Program. Vol. 26, No. 1-3, pages 197-216. 1996. Details \| BibTeX \| Link (ps.gz)

[45]

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

Gavin Lowe

In Tiziana Margaria, Bernhard Steffen, editors, Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings Vol. 1055 of Lecture Notes in Computer Science, pages 147-166. Springer, 1996.

Details | BibTeX | Link (ps)

[46]	Some new attacks upon security protocols Gavin Lowe In Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland pages 162-169. IEEE Computer Society, 1996. Details \| BibTeX \| Link (ps)

[47]	Probabilistic and Prioritized Models of Timed CSP Gavin Lowe Theor. Comput. Sci. Vol. 138, No. 2, pages 315-352. 1995. Details \| BibTeX \| Link (ps.gz) \| DOI (10.1016/0304-3975(94)00171-E)

[48]	A Graphical Calculus Sharon Curtis, Gavin Lowe In Mathematics of Program Construction Vol. 947. Lecture Notes in Computer Science, 1995. Details \| BibTeX \| Link (ps.gz)

[49]	An Attack on the Needham-Schroeder Public-Key Authentication Protocol Gavin Lowe Information Processing Letters, Vol. 56, No. 3, pages 131-133. 1995. Details \| BibTeX \| Link (ps) \| DOI (10.1016/0020-0190(95)00144-2)

[50]	Scheduling-Oriented Models for Real-Time Systems Gavin Lowe The Computer Journal, Vol. 38, No. 6, pages 443-456. 1995. Details \| BibTeX \| Link (ps.gz)

[51]	Refinement of Complex Systems: A Case Study Gavin Lowe, Hussein Zedan The Computer Journal, Vol. 38, No. 10, pages 785-800. 1995. Details \| BibTeX \| Link (ps.gz)

[52]	Probabilities and Priorities in Timed CSP Gavin Lowe PhD Thesis, Oxford University Computing Laboratory. 1993. Details \| BibTeX \| Link (ps.gz)