Gavin Lowe: Publications

[1]	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)

[2]	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)

[3]	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)

[4]	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)

[5]	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)

[6]	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)

[7]	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)

[8]	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)

[9]	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)

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

[11]

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

[12]

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)

[13]

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

[14]	Architectures for Secure Delegation Within Grids Philippa J. Broadfoot, Gavin Lowe No. RR-03-19, Technical Report, Oxford University Computing Laboratory. September 2003. Details \| BibTeX \| Download (ps)

[15]	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)

[16]

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)

[17]	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)

[18]

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)

[19]	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)

[20]	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)

[21]	Counter Abstraction in the CSP/FDR setting Tomasz Mazur, Gavin Lowe In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07) 2007. Details \| BibTeX \| Link (pdf)

[22]	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

[23]	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

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

[25]	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)

[26]	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)

[27]	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)

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

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

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

[31]	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)

[32]	On Refinement-Closed Security Properties and Nondeterministic Compositions Toby Murray, Gavin Lowe In Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08) 2008. To appear. Details \| BibTeX \| Link (pdf)

[33]	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)

[34]	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)

[35]	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)

[36]

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)

[37]	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)

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

[39]	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)

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

[41]	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)

[42]	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)

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

[44]	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)

[45]	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)

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

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

[49]	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)

[50]	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)

[51]	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)

[52]

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)

[53]	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)

[54]	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)

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