Bruno Blanchet Back to publications
Bruno Blanchet and Benjamin Aziz. A Calculus for Secure Mobility. In Vijay Saraswat, editor, Eighth Asian Computing Science Conference (ASIAN'03), volume 2896 of Lecture Notes in Computer Science, pages 188-204, Mumbai, India, December 2003. Springer.


© Springer-Verlag.

Get the paper

.ps.gz, 86 Kb


LNCS series home page. LNCS Volume 2896 at Springer.


In this paper, we introduce the crypto-loc calculus, a calculus for modelling secure mobile computations that combine the concepts of locations, cryptography, and code mobility. All these concepts exist in mobile systems, for example, Java applets run within sandboxes or downloaded under an SSL connection. We use observational equivalence of processes as a powerful means of defining security properties, and characterize observational equivalence in terms of a labelled bisimilarity relation, which makes its proof much easier.


  AUTHOR = {Bruno Blanchet and Benjamin Aziz},
  TITLE = {A {C}alculus for {S}ecure {M}obility},
  BOOKTITLE = {Eighth Asian Computing Science Conference (ASIAN'03)},
  PAGES = {188--204},
  YEAR = 2003,
  EDITOR = {Vijay Saraswat},
  VOLUME = 2896,
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Mumbai, India},
  PUBLISHER = {Springer}

E-mail/Courrier électronique : (remove trap-)