Michael Goldsmith

	2011
21		Syed Sadiqur Rahman, Sadie Creese, Michael Goldsmith: Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources. STM 2011: 223-238
	2010
20		Adedayo Adetoye, Sadie Creese, Michael Goldsmith, Paul Hopkins: A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract. CRITIS 2010: 153-156
19		M. Auty, Sadie Creese, Michael Goldsmith, Paul Hopkins: Inadequacies of Current Risk Controls for the Cloud. CloudCom 2010: 659-666
18		Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson: EnCoRe: Towards a Holistic Approach to Privacy. SECRYPT 2010: 171-176
17		Michael Goldsmith, Sadie Creese: Refinement-Friendly Bigraphs and Spygraphs. SEFM 2010: 203-207
	2009
16		Michael Goldsmith: Beyond Mobility : What Next After CSP/pi? CPA 2009: 1-6
15		Michael Goldsmith, Bill Roscoe: Preface. Electr. Notes Theor. Comput. Sci. 250(1): 1-2 (2009)
	2008
14		Nick Moffat, Michael Goldsmith, Bill Roscoe: A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM 2008: 258-277
13		Sadie Creese, Michael Goldsmith: Requirements and Concepts for Information Assurance and Pervasive Adaptation Co-design. SASO Workshops 2008: 73-77
12		Nick Moffat, Michael Goldsmith: Assumption-Commitment Support for CSP Model Checking. J. Autom. Reasoning 41(3-4): 365-398 (2008)
	2007
11		Nick Moffat, Michael Goldsmith: Assumption-Commitment Support for CSP Model Checking. Electr. Notes Theor. Comput. Sci. 185: 121-137 (2007)
	2006
10		Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao: Bootstrapping multi-party ad-hoc security. SAC 2006: 369-375
	2005
9		Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin: Exploiting Empirical Engagement in Authentication Protocol Design. SPC 2005: 119-133
	2004
8		Michael Goldsmith: Operational Semantics for Fun and Profit. 25 Years Communicating Sequential Processes 2004: 265-274
	2003
7		Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616
6		Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin: Authentication for Pervasive Computing. SPC 2003: 116-129
5		Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner: A Methodology for Model-Checking Ad-hoc Networks. SPIN 2003: 181-196
	1999
4		Michael Goldsmith: Challenges to Process-Algebraic Property-Checking. PDPTA 1999: 273-278
	1998
3		Michael Goldsmith, Irfan Zakiuddin: Critical Systems Validation and Verification with CSP and FDR. FM-Trends 1998: 243-250
	1995
2		A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. TACAS 1995: 133-152
	1987
1		Michael Goldsmith, A. Cox, Geoff Barrett: An Algebraic Transformation System for Occam Programs. STACS 1987: 481

Coauthor Index

1	Adedayo Adetoye	[20]
2	M. Auty	[19]
3	Geoff Barrett	[1]
4	A. Cox	[1]
5	Sadie Creese	[6] [9] [10] [13] [17] [18] [19] [20] [21]
6	Paul H. B. Gardiner	[2] [5]
7	Richard Harrison	[9]
8	Paul Hopkins	[19] [20]
9	J. R. Hulance	[2]
10	D. M. Jackson	[2]
11	Nick Moffat	[7] [11] [12] [14]
12	Marco Casassa Mont	[18]
13	Nikolaos Papanikolaou (Nick Papanikolaou)	[18]
14	Siani Pearson	[18]
15	Syed Sadiqur Rahman	[21]
16	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[2] [6] [7] [9] [10] [14] [15]
17	J. B. Scattergood	[2]
18	Paul Whittaker	[5] [9]
19	Timothy Whitworth (Tim Whitworth)	[7]
20	Ming Xiao	[10]
21	Irfan Zakiuddin	[3] [5] [6] [7] [9]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page