Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gavin Lowe
2010 – today
- 2012
[j28]Tomasz Mazur, Gavin Lowe: A type reduction theory for systems with replicated components. Logical Methods in Computer Science 8(1) (2012)- [j27]
- [c25]Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell: Recent Developments in FDR. CAV 2012: 699-704
- 2011
- [j26]Allaa Kamil, Gavin Lowe: Analysing TLS in the strand spaces model. Journal of Computer Security 19(5): 975-1025 (2011)
- [c24]Thomas Gibson-Robinson, Gavin Lowe: Analysing Applications Layered on Unilaterally Authenticating Protocols. Formal Aspects in Security and Trust 2011: 164-181
- [c23]Gavin Lowe: Implementing Generalised Alt - A Case Study in Validated Design using CSP. CPA 2011: 1-34
- [e1]Alessandro Armando, Gavin Lowe (Eds.): Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6186, Springer 2011, ISBN 978-3-642-16073-8
- 2010
- [c22]Allaa Kamil, Gavin Lowe: Understanding Abstractions of Secure Channels. Formal Aspects in Security and Trust 2010: 50-64
- [c21]
2000 – 2009
- 2009
- [j25]Gavin Lowe: On CSP Refinement Tests That Run Multiple Copies of a Process. Electr. Notes Theor. Comput. Sci. 250(1): 153-170 (2009)
- [j24]Tomasz Mazur, Gavin Lowe: Counter Abstraction in the CSP/FDR setting. Electr. Notes Theor. Comput. Sci. 250(1): 171-186 (2009)
- [j23]Toby C. Murray, Gavin Lowe: On Refinement-Closed Security Properties and Nondeterministic Compositions. Electr. Notes Theor. Comput. Sci. 250(2): 49-68 (2009)
- [c20]Toby C. Murray, Gavin Lowe: Analysing the Information Flow Properties of Object-Capability Patterns. Formal Aspects in Security and Trust 2009: 81-95
- [c19]Allaa Kamil, Gavin Lowe: Specifying and Modelling Secure Channels in Strand Spaces. Formal Aspects in Security and Trust 2009: 233-247
- [c18]
- 2008
- [j22]Gavin Lowe: Specification of communicating processes: temporal logic versus refusals-based refinement. Formal Asp. Comput. 20(3): 277-294 (2008)
- [c17]
- 2006
- [j21]Gavin Lowe, Joël Ouaknine: On Timed Models and Full Abstraction. Electr. Notes Theor. Comput. Sci. 155: 497-519 (2006)
- 2005
- [j20]Christie Bolton, Gavin Lowe: A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. 330(3): 407-438 (2005)
- [j19]Gordon Thomas Rohrmair, Gavin Lowe: Using data-independence in the analysis of intrusion detection systems. Theor. Comput. Sci. 340(1): 82-101 (2005)
- 2004
- [j18]Christie Bolton, Gavin Lowe: A Hierarchy of Failures-Based Models. Electr. Notes Theor. Comput. Sci. 96: 129-152 (2004)
- [j17]Philippa J. Hopcroft, Gavin Lowe: Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3(1): 2-13 (2004)
- [j16]Gavin Lowe: Analysing Protocol Subject to Guessing Attacks. Journal of Computer Security 12(1): 83-98 (2004)
- [j15]Gavin Lowe: Defining information flow quantity. Journal of Computer Security 12(3-4): 619-653 (2004)
- [j14]
- [c16]Christie Bolton, Gavin Lowe: Analyses of the Reverse Path Forwarding Routing Algorithm. DSN 2004: 485-494
- 2003
- [j13]James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. Journal of Computer Security 11(2): 217-244 (2003)
- [c15]Philippa J. Broadfoot, Gavin Lowe: On Distributed Security Transactions that Use Secure Transport Protocols. CSFW 2003: 141-
- [c14]Christie Bolton, Gavin Lowe: On the Automatic Verification of Non-Standard Measures of Consistency. IWFM 2003
- [i1]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, Károly Lörentey: Managing Dynamic User Communities in a Grid of Autonomous Resources. CoRR cs.DC/0306004 (2003)
- 2002
- [c13]
- [c12]Philippa J. Broadfoot, Gavin Lowe: Analysing a Stream Authentication Protocol Using Model Checking. ESORICS 2002: 146-161
- [c11]Gordon Thomas Rohrmair, Gavin Lowe: Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. FASec 2002: 205-220
- 2001
- [j12]Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. Journal of Computer Security 9(1/2): 3-46 (2001)
- 2000
- [j11]A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe: Data independent verification of crypto-protocols. Electr. Notes Theor. Comput. Sci. 40: 359 (2000)
- [c10]James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. CSFW 2000: 255-268
- [c9]Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe: Automating Data Independence. ESORICS 2000: 175-190
1990 – 1999
- 1999
- [j10]Gavin Lowe, Jim Davies: Using CSP to Verify Sequential Consistency. Distributed Computing 12(2-3): 91-103 (1999)
- [j9]Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. Journal of Computer Security 7(1): 89-146 (1999)
- [c8]
- 1998
- [j8]Gavin Lowe: Casper: A Compiler for the Analysis of Security Protocols. Journal of Computer Security 6(1-2): 53-84 (1998)
- [c7]Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
- [c6]Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. CSFW 1998: 96-105
- 1997
- [j7]Gavin Lowe, A. W. Roscoe: Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. 23(10): 659-669 (1997)
- [c5]
- [c4]
- 1996
- [j6]
- [j5]Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Software - Concepts and Tools 17(3): 93-102 (1996)
- [c3]
- [c2]Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. TACAS 1996: 147-166
- 1995
- [j4]
- [j3]Gavin Lowe, Hussein Zedan: Refinement of Complex Systems: A Case Study. Comput. J. 38(10): 785-800 (1995)
- [j2]Gavin Lowe: An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Inf. Process. Lett. 56(3): 131-133 (1995)
- [j1]Gavin Lowe: Probabilistic and Prioritized Models of Timed CSP. Theor. Comput. Sci. 138(2): 315-352 (1995)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-23 18:45 CET by the dblp team