A calculus for secure mobility

Bruno Blanchet*, Benjamin Aziz

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish
Title of host publicationAdvances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings
Number of pages17
Publication statusPublished - 1 Dec 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
ISSN (Print)0302-9743


Dive into the research topics of 'A calculus for secure mobility'. Together they form a unique fingerprint.

Cite this