Gavin Lowe : Publications
|
[1] |
A type reduction theory for systems with replicated components Tomasz Mazur and Gavin Lowe In Logical Methods in Computer Science. 2012. |
|
[2] |
Analysing TLS in the strand spaced model Allaa Kamil and Gavin Lowe In Journal of Computer Security. Vol. 19. No. 5. Pages 975–1025. 2011. |
|
[3] |
Analysing Applications Layered on Unilaterally Authenticating Protocols Thomas Gibson−Robinson and Gavin Lowe In Proceedings of Formal Aspects of Security and Trust (FAST 2011). 2011. |
|
[4] |
Implementing Generalised Alt Gavin Lowe In Proceedings of Concurrent Process Architectures (CPA 2011). Pages 1–34. 2011. |
|
[5] |
Analysing Security Protocols using CSP Gavin Lowe In Véronique Cortier and Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. IOS Press. 2011. |
|
[6] |
Understanding Abstractions of Secure Channels Allaa Kamil and Gavin Lowe In Proceedings of Formal Aspects of Security and Trust (FAST 2010). 2010. |
|
[7] |
Models for CSP with availability information Gavin Lowe In Proceedings of 17th International Workshop on Expressiveness in Concurrency. 2010. |
|
[8] |
Analysing the Information Flow Properties of Object−Capability Patterns Toby Murray and Gavin Lowe In Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009). Vol. 5983 of Lecture Notes in Computer Science. Pages 81−95. 2010. Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-12459-4_7) |
|
[9] |
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Alessandro Armando and Gavin Lowe, editors Alessandro Armando and Gavin Lowe, editors |
|
[10] |
Specifying and Modelling Secure Channels in Strand Spaces Allaa Kamil and Gavin Lowe In Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009). 2009. |
|
[11] |
Extending CSP with tests for availability Gavin Lowe In Procedings of Communicating Process Architectures (CPA 2009). 2009. |
|
[12] |
On Refinement−Closed Security Properties and Nondeterministic Compositions Toby Murray and Gavin Lowe In Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS '08). Vol. 250 of Electronic Notes in Theoretical Computer Science. No. 2. Pages 49−68. 2009. Details | BibTeX | Download (pdf) | DOI (10.1016/j.entcs.2009.08.017) |
|
[13] |
Specification of communicating processes: temporal logic versus refusals−based refinement Gavin Lowe In Formal Aspects of Computing. 2008. |
|
[14] |
Specifying Secure Transport Layers Christopher Dilloway and Gavin Lowe In 21st IEEE Computer Security Foundations Symposium (CSF 21). 2008. |
|
[15] |
Analysing TLS in the Strand Spaces Model Allaa Kamil and Gavin Lowe 2008. |
|
[16] |
Counter Abstraction in the CSP/FDR setting Tomasz Mazur and Gavin Lowe In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07). 2007. |
|
[17] |
On CSP refinement tests that run multiple copies of a process Gavin Lowe 2007. |
|
[18] |
On Information Flow and Refinement−Closure Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07). 2007. |
|
[19] |
Authority Analysis for Least Privilege Environments Toby Murray and Gavin Lowe In Proceedings of Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS−ARSPA'07). 2007. |
|
[20] |
On the Specification of Secure Channels Christopher Dilloway and Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07). 2007. |
|
[21] |
On Timed Models and Full Abstraction Gavin Lowe and Joël Ouaknine In Electr. Notes Theor. Comput. Sci.. Vol. 155. Pages 497−519. 2006. |
|
[22] |
A Computational Justification for Guessing Attack Formalisms Tom Newcomb and Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '06). 2006. |
|
[23] |
A computational justification for guessing attack formalisms Tom Newcomb and Gavin Lowe No. RR−05−05. Oxford University Computing Laboratory. October, 2005. |
|
[24] |
Using data−independence in the analysis of intrusion detection systems Gordon Thomas Rohrmair and Gavin Lowe In Theor. Comput. Sci.. Vol. 340. No. 1. Pages 82−101. 2005. |
|
[25] |
A hierarchy of failures−based models: theory and application Christie Bolton and Gavin Lowe In Theoretical Computer Science. Vol. 330. No. 3. Pages 407−438. 2005. |
|
[26] |
Semantic models for information flow Gavin Lowe In Theor. Comput. Sci.. Vol. 315. No. 1. Pages 209−256. 2004. |
|
[27] |
Defining information flow quantity Gavin Lowe In Journal of Computer Security. Vol. 12. No. 3−4. Pages 619−653. 2004. |
|
[28] |
Analysing Protocol Subject to Guessing Attacks Gavin Lowe In Journal of Computer Security. Vol. 12. No. 1. Pages 83−98. 2004. |
|
[29] |
Analysing a stream authentication protocol using model checking Philippa J. Hopcroft and Gavin Lowe In 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 |
|
[30] |
A Hierarchy of Failures−Based Models Christie Bolton and Gavin Lowe In Electr. Notes Theor. Comput. Sci.. Vol. 96. Pages 129−152. 2004. |
|
[31] |
Analyses of the Reverse Path Forwarding Routing Algorithm Christie Bolton and 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. |
|
[32] |
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. |
|
[33] |
Architectures for Secure Delegation Within Grids Philippa J. Broadfoot and Gavin Lowe No. RR−03−19. Oxford University Computing Laboratory. September, 2003. |
|
[34] |
How to Prevent Type Flaw Attacks on Security Protocols James Heather‚ Gavin Lowe and Steve Schneider In Journal of Computer Security. Vol. 11. No. 2. Pages 217−244. 2003. |
|
[35] |
Managing Dynamic User Communities in a Grid of Autonomous Resources Roberto Alfieri‚ Roberto Cecchini‚ Vincenzo Ciaschini‚ Luca dell'Agnello‚ Alberto Gianoli‚ Fabio Spataro‚ Franck Bonnassieux‚ Philippa J. Broadfoot‚ Gavin Lowe‚ Linda Cornwall‚ Jens Jensen‚ David P. Kelsey‚ Ákos Frohner‚ David L. Groep‚ Wim Som de Cerff‚ Martijn Steenbakkers‚ Gerben Venekamp‚ Daniel Kouril‚ Andrew McNab‚ Olle Mulmo‚ Mika Silander‚ Joni Hahkala and Károly Lörentey In CoRR. Vol. cs.DC/0306004. 2003. |
|
[36] |
On the Automatic Verification of Non−Standard Measures of Consistency Christie Bolton and 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. |
|
[37] |
On Distributed Security Transactions that Use Secure Transport Protocols Philippa J. Broadfoot and 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. |
|
[38] |
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area Gordon Thomas Rohrmair and 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. |
|
[39] |
Analysing a Stream Authentication Protocol Using Model Checking Philippa J. Broadfoot and 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. |
|
[40] |
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. |
|
[41] |
Modelling and analysis of security protocols Peter Ryan‚ Steve Schneider‚ Michael Goldsmith‚ Gavin Lowe and Bill Roscoe Addison−Wesley. 2001. |
|
[42] |
Fault−Preserving Simplifying Transformations for Security Protocols Mei Lin Hui and Gavin Lowe In Journal of Computer Security. Vol. 9. No. 1/2. Pages 3−46. 2001. |
|
[43] |
Data independent verification of crypto−protocols A. W. Roscoe‚ Philippa J. Broadfoot and Gavin Lowe In Electr. Notes Theor. Comput. Sci.. Vol. 40. 2000. |
|
[44] |
Automating Data Independence Philippa J. Broadfoot‚ Gavin Lowe and A. W. Roscoe In Frédéric Cuppens‚ Yves Deswarte‚ Dieter Gollmann and Michael Waidner, 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. |
|
[45] |
How to Prevent Type Flaw Attacks on Security Protocols James Heather‚ Gavin Lowe and Steve Schneider In CSFW. Pages 255−268. 2000. |
|
[46] |
Towards a Completeness Result for Model Checking of Security Protocols Gavin Lowe In Journal of Computer Security. Vol. 7. No. 1. 1999. |
|
[47] |
Using CSP to Verify Sequential Consistency Gavin Lowe and Jim Davies In Distributed Computing. Vol. 12. No. 2−3. Pages 91−103. 1999. |
|
[48] |
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 |
|
[49] |
Safe Simplifying Transformations for Security Protocols Mei Lin Hui and Gavin Lowe In CSFW. Pages 32−43. 1999. |
|
[50] |
Casper: A Compiler for the Analysis of Security Protocols Gavin Lowe In Journal of Computer Security. Vol. 6. No. 1−2. Pages 53−84. 1998. |
|
[51] |
Towards a Completeness Result for Model Checking of Security Protocols Gavin Lowe In Computer Security Foundations Workshop. Pages 96−105. 1998. |
|
[52] |
Panel Introduction: Varieties of Authentication Roberto Gorrieri‚ Paul F. Syverson‚ Martín Abadi‚ Riccardo Focardi‚ Dieter Gollmann‚ Gavin Lowe and Catherine Meadows In Computer Security Foundations Workshop. Pages 79−82. 1998. |
|
[53] |
Using CSP to Detect Errors in the TMN Protocol Gavin Lowe and A. W. Roscoe In IEEE Trans. Software Eng.. Vol. 23. No. 10. Pages 659−669. 1997. |
|
[54] |
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. |
|
[55] |
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. |
|
[56] |
A Family of Attacks upon Authentication Protocols Gavin Lowe No. 1997/5. Department of Mathematics and Computer Science‚ University of Leicester. 1997. |
|
[57] |
Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR Gavin Lowe In Software − Concepts and Tools. Vol. 17. No. 3. Pages 93−102. 1996. |
|
[58] |
Proofs with Graphs Sharon Curtis and Gavin Lowe In Sci. Comput. Program.. Vol. 26. No. 1−3. Pages 197−216. 1996. |
|
[59] |
Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR Gavin Lowe In Tiziana Margaria and 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. |
|
[60] |
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. |
|
[61] |
Probabilistic and Prioritized Models of Timed CSP Gavin Lowe In Theor. Comput. Sci.. Vol. 138. No. 2. Pages 315−352. 1995. |
|
[62] |
An Attack on the Needham−Schroeder Public−Key Authentication Protocol Gavin Lowe In Information Processing Letters. Vol. 56. No. 3. Pages 131−133. 1995. |
|
[63] |
Scheduling−Oriented Models for Real−Time Systems Gavin Lowe In The Computer Journal. Vol. 38. No. 6. Pages 443−456. 1995. |
|
[64] |
Refinement of Complex Systems: A Case Study Gavin Lowe and Hussein Zedan In The Computer Journal. Vol. 38. No. 10. Pages 785−800. 1995. |
|
[65] |
A Graphical Calculus Sharon Curtis and Gavin Lowe In Mathematics of Program Construction. Vol. 947. Lecture Notes in Computer Science. 1995. |
|
[66] |
Probabilities and Priorities in Timed CSP Gavin Lowe PhD Thesis , type=DPhil thesis DPhil thesisType. Oxford University Computing Laboratory. 1993. |