Gavin Lowe

	2012
53		Alessandro Armando, Gavin Lowe: Preface. Journal of Computer Security 20(1): 1 (2012)
52		Tomasz Mazur, Gavin Lowe: A type reduction theory for systems with replicated components Logical Methods in Computer Science 8(1): (2012)
	2011
51		Alessandro Armando, Gavin Lowe: 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 Springer 2011
50		Gavin Lowe: Implementing Generalised Alt - A Case Study in Validated Design using CSP. CPA 2011: 1-34
49		Allaa Kamil, Gavin Lowe: Analysing TLS in the strand spaces model. Journal of Computer Security 19(5): 975-1025 (2011)
	2010
48		Gavin Lowe: Models for CSP with availability information EXPRESS'10 2010: 91-105
47		Allaa Kamil, Gavin Lowe: Understanding Abstractions of Secure Channels. Formal Aspects in Security and Trust 2010: 50-64
	2009
46		Gavin Lowe: Extending CSP with Tests for Availability. CPA 2009: 325-347
45		Allaa Kamil, Gavin Lowe: Specifying and Modelling Secure Channels in Strand Spaces. Formal Aspects in Security and Trust 2009: 233-247
44		Toby C. Murray, Gavin Lowe: Analysing the Information Flow Properties of Object-Capability Patterns. Formal Aspects in Security and Trust 2009: 81-95
43		Gavin Lowe: On CSP Refinement Tests That Run Multiple Copies of a Process. Electr. Notes Theor. Comput. Sci. 250(1): 153-170 (2009)
42		Tomasz Mazur, Gavin Lowe: Counter Abstraction in the CSP/FDR setting. Electr. Notes Theor. Comput. Sci. 250(1): 171-186 (2009)
41		Toby C. Murray, Gavin Lowe: On Refinement-Closed Security Properties and Nondeterministic Compositions. Electr. Notes Theor. Comput. Sci. 250(2): 49-68 (2009)
	2008
40		Christopher Dilloway, Gavin Lowe: Specifying Secure Transport Channels. CSF 2008: 210-223
39		Gavin Lowe: Specification of communicating processes: temporal logic versus refusals-based refinement. Formal Asp. Comput. 20(3): 277-294 (2008)
	2006
38		Gavin Lowe, Joël Ouaknine: On Timed Models and Full Abstraction. Electr. Notes Theor. Comput. Sci. 155: 497-519 (2006)
	2005
37		Christie Bolton, Gavin Lowe: A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. 330(3): 407-438 (2005)
36		Gordon Thomas Rohrmair, Gavin Lowe: Using data-independence in the analysis of intrusion detection systems. Theor. Comput. Sci. 340(1): 82-101 (2005)
	2004
35		Christie Bolton, Gavin Lowe: Analyses of the Reverse Path Forwarding Routing Algorithm. DSN 2004: 485-494
34		Christie Bolton, Gavin Lowe: A Hierarchy of Failures-Based Models. Electr. Notes Theor. Comput. Sci. 96: 129-152 (2004)
33		Philippa J. Hopcroft, Gavin Lowe: Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3(1): 2-13 (2004)
32		Gavin Lowe: Analysing Protocol Subject to Guessing Attacks. Journal of Computer Security 12(1): 83-98 (2004)
31		Gavin Lowe: Defining information flow quantity. Journal of Computer Security 12(3-4): 619-653 (2004)
30		Gavin Lowe: Semantic models for information flow. Theor. Comput. Sci. 315(1): 209-256 (2004)
	2003
29		Philippa J. Broadfoot, Gavin Lowe: On Distributed Security Transactions that Use Secure Transport Protocols. CSFW 2003: 141-
28		Christie Bolton, Gavin Lowe: On the Automatic Verification of Non-Standard Measures of Consistency. IWFM 2003
27		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)
26		James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. Journal of Computer Security 11(2): 217-244 (2003)
	2002
25		Gavin Lowe: Quantifying Information Flow. CSFW 2002: 18-31
24		Philippa J. Broadfoot, Gavin Lowe: Analysing a Stream Authentication Protocol Using Model Checking. ESORICS 2002: 146-161
23		Gordon Thomas Rohrmair, Gavin Lowe: Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. FASec 2002: 205-220
	2001
22		Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. Journal of Computer Security 9(1/2): 3-46 (2001)
	2000
21		James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. CSFW 2000: 255-268
20		Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe: Automating Data Independence. ESORICS 2000: 175-190
19		A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe: Data independent verification of crypto-protocols. Electr. Notes Theor. Comput. Sci. 40: 359 (2000)
	1999
18		Mei Lin Hui, Gavin Lowe: Safe Simplifying Transformations for Security Protocols. CSFW 1999: 32-43
17		Gavin Lowe, Jim Davies: Using CSP to Verify Sequential Consistency. Distributed Computing 12(2-3): 91-103 (1999)
16		Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. Journal of Computer Security 7(1): 89-146 (1999)
	1998
15		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
14		Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. CSFW 1998: 96-105
13		Gavin Lowe: Casper: A Compiler for the Analysis of Security Protocols. Journal of Computer Security 6(1-2): 53-84 (1998)
	1997
12		Gavin Lowe: Casper: A Compiler for the Analysis of Security Protocols. CSFW 1997: 18-30
11		Gavin Lowe: A Hierarchy of Authentication Specification. CSFW 1997: 31-44
10		Gavin Lowe, A. W. Roscoe: Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. 23(10): 659-669 (1997)
	1996
9		Gavin Lowe: Some new attacks upon security protocols. CSFW 1996: 162-169
8		Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. TACAS 1996: 147-166
7		Sharon Curtis, Gavin Lowe: Proofs with Graphs. Sci. Comput. Program. 26(1-3): 197-216 (1996)
6		Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Software - Concepts and Tools 17(3): 93-102 (1996)
	1995
5		Sharon Curtis, Gavin Lowe: A Graphical Calculus. MPC 1995: 214-231
4		Gavin Lowe, Hussein Zedan: Refinement of Complex Systems: A Case Study. Comput. J. 38(10): 785-800 (1995)
3		Gavin Lowe: Scheduling-Oriented Models for Real-Time Systems. Comput. J. 38(6): 443-456 (1995)
2		Gavin Lowe: An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Inf. Process. Lett. 56(3): 131-133 (1995)
1		Gavin Lowe: Probabilistic and Prioritized Models of Timed CSP. Theor. Comput. Sci. 138(2): 315-352 (1995)

Coauthor Index

1	Martín Abadi	[15]
2	Roberto Alfieri	[27]
3	Alessandro Armando	[51] [53]
4	Franck Bonnassieux	[27]
5	Roberto Cecchini	[27]
6	Wim Som de Cerff	[27]
7	Vincenzo Ciaschini	[27]
8	Linda Cornwall	[27]
9	Sharon Curtis	[5] [7]
10	Jim Davies	[17]
11	Christopher Dilloway	[40]
12	Riccardo Focardi	[15]
13	Ákos Frohner	[27]
14	Alberto Gianoli	[27]
15	Dieter Gollmann	[15]
16	Roberto Gorrieri	[15]
17	David L. Groep	[27]
18	Joni Hahkala	[27]
19	James Heather	[21] [26]
20	Philippa J. Hopcroft (Philippa J. Broadfoot)	[19] [20] [24] [27] [29] [33]
21	Mei Lin Hui	[18] [22]
22	Jens Jensen	[27]
23	Allaa Kamil	[45] [47] [49]
24	David P. Kelsey	[27]
25	Daniel Kouril	[27]
26	Károly Lörentey	[27]
27	Christie Marr (Christie Bolton)	[28] [34] [35] [37]
28	Tomasz Mazur	[42] [52]
29	Andrew McNab	[27]
30	Catherine Meadows	[15]
31	Olle Mulmo	[27]
32	Toby C. Murray	[41] [44]
33	Joël Ouaknine	[38]
34	Gordon Thomas Rohrmair	[23] [36]
35	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[10] [19] [20]
36	Steve A. Schneider (Steve Schneider)	[21] [26]
37	Mika Silander	[27]
38	Fabio Spataro	[27]
39	Martijn Steenbakkers	[27]
40	Paul F. Syverson	[15]
41	Gerben Venekamp	[27]
42	Hussein Zedan (Hussein S. M. Zedan)	[4]
43	Luca dell'Agnello	[27]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page