Bruno Blanchet Back to publications
Bruno Blanchet and Benjamin Aziz. A Calculus for Locations, Mobility, and Cryptography. In Dagstuhl seminar Reasoning about Shape, March 2003.


Seminar homepage:


We combine the concepts of location, mobility, and cryptography in one calculus. All these concepts exist in mobile systems and all are essential in expressing security issues. However, they have almost never been dealt with together: ambients calculi and the seal calculus deal with locations and mobility, the spi calculus and variants deal with cryptography. We use observational equivalence to define security properties in this calculus, and show that a labeled bisimilarity relation can be used to prove observational equivalence.


  AUTHOR = {Bruno Blanchet and Benjamin Aziz},
  TITLE = {A {C}alculus for {L}ocations, {M}obility, and {C}ryptography},
  BOOKTITLE = {Dagstuhl seminar "Reasoning about Shape"},
  YEAR = 2003,

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