A. W. Roscoe

A. William Roscoe, Bill Roscoe

	2013
j35		A. W. Roscoe, Jian Huang: Checking noninterference in Timed CSP. Formal Asp. Comput. 25(1): 3-35 (2013)
j34		Xin Huang, Bangdao Chen, Andrew Markham, Qinghua Wang, Zheng Yan, A. William Roscoe: Human interactive secure key and identity exchange protocols in body sensor networks. IET Information Security 7(1): 30-38 (2013)
i7		Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell: A Static Analysis Framework for Livelock Freedom in CSP. CoRR abs/1304.7394 (2013)
	2012
j33		Xin Huang, Xiao Ma, Bangdao Chen, Andrew Markham, Qinghua Wang, A. William Roscoe: Human Interactive Secure ID Management in Body Sensor Networks. JNW 7(9): 1400-1406 (2012)
j32		Hristina Palikareva, Joël Ouaknine, A. W. Roscoe: SAT-solving in CSP trace refinement. Sci. Comput. Program. 77(10-11): 1178-1197 (2012)
c51		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
c50		Long Hoang Nguyen, A. W. Roscoe: Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication. FSE 2012: 326-345
c49		Xin Huang, Shangyuan Guo, Bangdao Chen, A. W. Roscoe: Bootstrapping body sensor networks using human controlled LED-camera channels. ICITST 2012: 433-438
c48		Xin Huang, Rong Fu, Bangdao Chen, Tingting Zhang, A. W. Roscoe: User interactive Internet of things privacy preserved access control. ICITST 2012: 597-602
c47		Bangdao Chen, A. W. Roscoe: Social Networks for Importing and Exporting Security. Monterey Workshop 2012: 132-147
i6		Long Hoang Nguyen, A. William Roscoe: Simple construction of epsilon-biased distribution. IACR Cryptology ePrint Archive 2012: 429 (2012)
	2011
j31		Long Hoang Nguyen, A. W. Roscoe: Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey. Journal of Computer Security 19(1): 139-201 (2011)
c46		Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell: Static Livelock Analysis in CSP. CONCUR 2011: 389-403
c45		Bangdao Chen, Long Hoang Nguyen, A. William Roscoe: When Context Is Better Than Identity: Authentication by Context Using Empirical Channels. Security Protocols Workshop 2011: 115-125
c44		Chen Bangdao, A. W. Roscoe: Mobile Electronic Identity: Securing Payment on Mobile Phones. WISTP 2011: 22-37
r1		A. W. Roscoe, Jim Davies: CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing 2011: 478-482
i5		Long H. Nguyen, A. William Roscoe: On the construction of digest functions for manual authentication protocols. IACR Cryptology ePrint Archive 2011: 116 (2011)
	2010
c43		Ronald Kainda, Ivan Flechais, A. W. Roscoe: Security and Usability: Analysis and Evaluation. ARES 2010: 275-282
c42		Chen Bangdao, A. W. Roscoe, Ronald Kainda, Long Hoang Nguyen: The Missing Link: Human Interactive Security Protocols in Mobile Payment. IWSEC (Short Papers) 2010: 94-109
c41		Ronald Kainda, Ivan Flechais, A. W. Roscoe: Two heads are better than one: security and usability of device associations in group scenarios. SOUPS 2010
c40		Ronald Kainda, Ivan Flechais, A. W. Roscoe: Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions. WISTP 2010: 308-315
i4		Long Hoang Nguyen, A. William Roscoe: Authentication protocols based on low-bandwidth unspoofable channels: a comparative survey. IACR Cryptology ePrint Archive 2010: 206 (2010)
	2009
j30		Hristina Palikareva, Joël Ouaknine, Bill Roscoe: Faster FDR Counterexample Generation Using SAT-Solving. ECEASST 23 (2009)
j29		Michael Goldsmith, Bill Roscoe: Preface. Electr. Notes Theor. Comput. Sci. 250(1): 1-2 (2009)
j28		A. W. Roscoe: Revivals, stuckness and the hierarchy of CSP models. J. Log. Algebr. Program. 78(3): 163-190 (2009)
c39		A. W. Roscoe, Philip J. Armstrong, Pragyesh: Local Search in Model Checking. ATVA 2009: 22-38
c38		Ronald Kainda, Ivan Flechais, A. W. Roscoe: Usability and security of out-of-band channels in secure device pairing protocols. SOUPS 2009
i3		Long Hoang Nguyen, A. William Roscoe: Separating two roles of hashing in one-way message authentication. IACR Cryptology ePrint Archive 2009: 3 (2009)
i2		Long H. Nguyen, A. W. Roscoe: Efficient group authentication protocols based on human interaction. IACR Cryptology ePrint Archive 2009: 150 (2009)
i1		Long H. Nguyen, A. W. Roscoe: New combinatorial bounds for universal hash functions. IACR Cryptology ePrint Archive 2009: 153 (2009)
	2008
j27		Ranko Lazic, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell: Nets with Tokens which Carry Data. Fundam. Inform. 88(3): 251-274 (2008)
j26		Long Hoang Nguyen, A. W. Roscoe: Authenticating ad hoc networks by comparison of short digests. Inf. Comput. 206(2-4): 250-271 (2008)
c37		Nick Moffat, Michael Goldsmith, Bill Roscoe: A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM 2008: 258-277
c36		A. W. Roscoe: The Three Platonic Models of Divergence-Strict CSP. ICTAC 2008: 23-49
	2007
j25		Joy N. Reed, A. W. Roscoe, J. E. Sinclair: Responsiveness and stable revivals. Formal Asp. Comput. 19(3): 303-319 (2007)
c35		Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell: Nets with Tokens Which Carry Data. ICATPN 2007: 301-320
	2006
j24		Joy N. Reed, A. W. Roscoe, Jane Sinclair: Machine-Verifiable Responsiveness. Electr. Notes Theor. Comput. Sci. 145: 185-200 (2006)
j23		Lee Momtahan, Andrew Martin, A. W. Roscoe: A Taxonomy of Web Services Using CSP. Electr. Notes Theor. Comput. Sci. 151(2): 71-87 (2006)
j22		E. Kleiner, A. W. Roscoe: On the Relationship Between Web Services Security and Traditional Protocols. Electr. Notes Theor. Comput. Sci. 155: 583-603 (2006)
j21		A. W. Roscoe: Confluence Thanks to Extensional Determinism. Electr. Notes Theor. Comput. Sci. 162: 305-309 (2006)
c34		A. W. Roscoe, Zhenzhong Wu: Verifying Statemate Statecharts Using CSP and FDR. ICFEM 2006: 324-341
c33		Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao: Bootstrapping multi-party ad-hoc security. SAC 2006: 369-375
c32		Jian Huang, A. W. Roscoe: Extending noninterference properties to the timed world. SAC 2006: 376-383
	2005
j20		Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe: Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. Electr. Notes Theor. Comput. Sci. 138(3): 61-86 (2005)
j19		A. W. Roscoe: On the expressive power of CSP refinement. Formal Asp. Comput. 17(2): 93-112 (2005)
c31		Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin: Exploiting Empirical Engagement in Authentication Protocol Design. SPC 2005: 119-133
	2004
j18		Joy N. Reed, J. E. Sinclair, A. W. Roscoe: Responsiveness of interoperating components. Formal Asp. Comput. 16(4): 394-411 (2004)
j17		Philippa J. Broadfoot, A. W. Roscoe: Embedding agents within the intruder to detect parallel attacks. Journal of Computer Security 12(3-4): 379-408 (2004)
j16		Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe: On model checking data-independent systems with arrays without reset. TPLP 4(5-6): 659-693 (2004)
c30		A. W. Roscoe: Seeing Beyond Divergence. 25 Years Communicating Sequential Processes 2004: 15-35
c29		Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe: On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 25 Years Communicating Sequential Processes 2004: 275-291
c28		Xu Wang, A. W. Roscoe, Ranko Lazic: Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004: 247-266
	2003
c27		Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616
c26		Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin: Authentication for Pervasive Computing. SPC 2003: 116-129
	2002
c25		Philippa J. Broadfoot, A. W. Roscoe: Capturing Parallel Attacks within the Data Independence Framework. CSFW 2002: 147-159
	2000
j15		A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe: Data independent verification of crypto-protocols. Electr. Notes Theor. Comput. Sci. 40: 359 (2000)
c24		Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe: Automating Data Independence. ESORICS 2000: 175-190
c23		S. J. Creese, A. W. Roscoe: Data Independent Induction over Structured Networks. PDPTA 2000
c22		Philippa J. Broadfoot, A. W. Roscoe: Tutorial on FDR and Its Applications. SPIN 2000: 322
	1999
j14		A. W. Roscoe, Philippa J. Broadfoot: Proving Security Protocols with Model Checkers by Data Independence Techniques. Journal of Computer Security 7(1): 147-190 (1999)
j13		George M. Reed, A. W. Roscoe: The Timed Failures-Stability Model for CSP. Theor. Comput. Sci. 211(1-2): 85-127 (1999)
c21		A. W. Roscoe, M. H. Goldsmith: What Is Intransitive Noninterference? CSFW 1999: 228-238
c20		S. J. Creese, A. W. Roscoe: Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE 1999: 437-452
c19		Ranko Lazic, Bill Roscoe: Data Independence with Generalised Predicate Symbols. PDPTA 1999: 319-326
c18		S. J. Creese, A. W. Roscoe: Formal Verification of Arbitrary Network Topologies. PDPTA 1999: 1033-1039
	1998
c17		A. W. Roscoe: Proving Security Protocols with Model Checkers by Data Independence Techniques. CSFW 1998: 84-95
	1997
j12		Gavin Lowe, A. W. Roscoe: Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. 23(10): 659-669 (1997)
	1996
j11		A. W. Roscoe, Jim Woodcock, L. Wulf: Non-interference through Determinism. Journal of Computer Security 4(1): 27-54 (1996)
c16		A. W. Roscoe: Intensional specifications of security protocols. CSFW 1996: 28-38
	1995
j10		Michael W. Mislove, A. W. Roscoe, Steve Schneider: Fixed Points Without Completeness. Theor. Comput. Sci. 138(2): 273-314 (1995)
c15		A. W. Roscoe, L. Wulf: Composing and decomposing systems under security properties. CSFW 1995: 9-15
c14		A. W. Roscoe: Modelling and verifying key-exchange protocols using CSP and FDR. CSFW 1995: 98-107
c13		A. W. Roscoe: CSP and determinism in security modelling. IEEE Symposium on Security and Privacy 1995: 114-127
c12		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
	1994
c11		A. W. Roscoe, Jim Woodcock, L. Wulf: Non-Interference Through Determinism. ESORICS 1994: 33-53
	1993
j9		A. W. Roscoe: Unbounded Non-Determinism in CSP. J. Log. Comput. 3(2): 131-172 (1993)
	1992
j8		A. W. Roscoe: An Alternative Order for the Failures Model. J. Log. Comput. 2(5): 557-577 (1992)
	1991
j7		Stephen D. Brookes, A. W. Roscoe: Deadlock Analysis in Networks of Communicating Processes. Distributed Computing 4: 209-230 (1991)
c10		Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe: Timed CSP: Theory and Practice. REX Workshop 1991: 640-675
	1989
c9		George M. Reed, A. W. Roscoe: Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. Concurrency: Theory, Language, And Architecture 1989: 36-63
c8		A. W. Roscoe, Geoff Barrett: Unbounded Nondeterminism in CSP. Mathematical Foundations of Programming Semantics 1989: 160-193
	1988
j6		T. Yung Kong, David M. Mount, A. W. Roscoe: The Decomposition of a Rectangle into Rectangles of Minimal Perimeter. SIAM J. Comput. 17(6): 1215-1231 (1988)
j5		George M. Reed, A. W. Roscoe: A Timed Model for Communicating Sequential Processes. Theor. Comput. Sci. 58: 249-261 (1988)
j4		A. W. Roscoe, C. A. R. Hoare: The Laws of Occam Programming. Theor. Comput. Sci. 60: 177-229 (1988)
	1987
j3		C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin: Laws of Programming. Commun. ACM 30(8): 672-686 (1987)
j2		A. W. Roscoe, Naiem Dathi: The Pursuit of Deadlock freedom. Inf. Comput. 75(3): 289-327 (1987)
c7		George M. Reed, A. W. Roscoe: Metric Spaces as Models for Real-Time Concurrency. MFPS 1987: 331-343
	1986
c6		George M. Reed, A. W. Roscoe: A Timed Model for Communicating Sequential Processes. ICALP 1986: 314-323
	1985
e1		Stephen D. Brookes, A. W. Roscoe, Glynn Winskel (Eds.): Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Lecture Notes in Computer Science 197, Springer 1985, isbn 3-540-15670-4
	1984
j1		Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe: A Theory of Communicating Sequential Processes. J. ACM 31(3): 560-599 (1984)
c5		Stephen D. Brookes, A. W. Roscoe: An Improved Failures Model for Communicating Processes. Seminar on Concurrency 1984: 281-305
c4		A. W. Roscoe: Denotational Semantics for occam. Seminar on Concurrency 1984: 306-329
c3		C. A. R. Hoare, A. W. Roscoe: Programs as Executable Predicates. FGCS 1984: 220-228
	1983
c2		A. W. Roscoe: Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. The Analysis of Concurrent Systems 1983: 103-109
c1		A. W. Roscoe: A CSP solution to the "trains" problem. The Analysis of Concurrent Systems 1983: 384-388

Coauthor Index

Colors in the list of coauthors

Last update Fri May 24 10:29:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page