|
725
|
Mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1998
|
|
8
|
Reduction Semantics for Ambient Calculi
– Maria Grazia Vigliotti
- 2004
|
|
3
|
Mobile processes: A commented bibliography
– Silvano Dal Zilio
- 2000
|
|
48
|
Secrecy and Group Creation
– Luca Cardelli , Giorgio Ghelli, Andrew D. Gordon
- 2000
|
|
24
|
Static validation of security protocols
– Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
- 2005
|
|
1
|
Specifying and Implementing Secure Mobile Applications in the Channel Ambient System
– Andrew Nicholas John Brojer Phillips
- 2005
|
|
|
A Calculus for Cryptographic Protocols -- Lecture Notes
– Andrew D. Gordon
- 2001
|
|
|
Editors:
– Roberto Amadio, Iain Phillips Ii Contents, Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
- 2006
|
|
32
|
The decidability of model checking mobile ambients
– Witold Charatonik
- 2001
|
|
9
|
Decidability of Freshness, Undecidability of Revelation
– Giorgio Ghelli, Giovanni Conforti
- 2003
|
|
22
|
The Seal Calculus Revisited: contextual equivalence and bisimilarity
– Giuseppe Castagna, Francesco Zappa Nardelli
- 2003
|
|
14
|
Mobility and security
– Luca Cardelli
- 1999
|
|
3
|
Making Components Move: A Separation of Concerns Approach
– Dirk Pattinson, Martin Wirsing
- 2002
|
|
9
|
Adjuncts elimination in the static ambient logic
– Etienne Lozes
- 2003
|
|
7
|
Elimination of spatial connectives in static spatial logics
– Étienne Lozes
- 2003
|
|
142
|
Types for mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1999
|
|
|
Secrecy and Group Creation
– Luca Cardelli Giorgio, Giorgio Ghelli, Andrew D. Gordon
- 2000
|
|
30
|
Types for the Ambient Calculus
– Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
- 2001
|
|
39
|
A calculus of mobile resources
– Jens Christian Godskesen, Thomas Hildebrandt, Vladimiro Sassone
- 2002
|
