TY - GEN
T1 - A calculus for secure mobility
AU - Blanchet, Bruno
AU - Aziz, Benjamin
PY - 2003/12/1
Y1 - 2003/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0348216654&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-40965-6_13
DO - 10.1007/978-3-540-40965-6_13
M3 - Conference contribution
AN - SCOPUS:0348216654
VL - 2896
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 188
EP - 204
BT - Advances 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
ER -