A Calculus for Secure Mobility

Blanchet, Bruno; Aziz, Benjamin

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

A Calculus for Secure Mobility

MPS-Authors

/persons/resource/persons44141

Blanchet, Bruno
Static Analysis, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Blanchet, B., & Aziz, B. (2003). A Calculus for Secure Mobility. In V. Saraswat (Ed.), Advances in computing science, ASIAN 2003: programming languages and distributed computation; 8th Asian Computing Science Conference (ASIAN'03) (pp. 188-204). Berlin, Germany: Springer.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-2E97-C

Abstract

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.