A Calculus of Mobile Processes, Part I (1989)

Cached

Download Links

by Robin Milner , Joachim Parrow , David Walker
Venue:I AND II. INFORMATION AND COMPUTATION
Citations:189 - 3 self

Documents Related by Co-Citation

783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
3219 Communication and Concurrency – R Milner - 1990
315 Functions as processes – R Milner - 1990
862 Using encryption for authentication in large networks of computers – R Needham, M Schroeder - 1978
613 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
240 The reflexive chemical abstract machine and the join calculus – C Fournet, G Gonthier
409 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
1132 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
54 The Join-Calculus: a Calculus for Distributed Mobile Programming – Cédric Fournet - 1998
354 Prudent Engineering Practice for Cryptographic Protocols – Martin Abadi, Roger Needhamt - 1994
2453 Handbook of Applied Cryptography – Alfred J. Menezes, Paul C. Van Oorschot, Scott A. Vanstone, R. L. Rivest - 1997
77 Secure Implementation of Channel Abstractions – Martin Abadi, Cédric Fournet, Georges Gonthier - 2000
60 Analyzing encryption protocols using formal veri cation techniques – R Kemmerer - 1994
106 The Interrogator: Protocol security analysis – J K Millen, S C Clark, S B Freedman - 1987
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
273 The polyadic -calculus: A tutorial – Robin Milner - 1992