Skip to content
Back to outputs

A calculus for secure mobility

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

Standard

A calculus for secure mobility. / Blanchet, Bruno; Aziz, Benjamin.

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. Vol. 2896 2003. p. 188-204 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Harvard

Blanchet, B & Aziz, B 2003, A calculus for secure mobility. in 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. vol. 2896, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 188-204. https://doi.org/10.1007/978-3-540-40965-6_13

APA

Blanchet, B., & Aziz, B. (2003). A calculus for secure mobility. In 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 (Vol. 2896, pp. 188-204). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-40965-6_13

Vancouver

Blanchet B, Aziz B. A calculus for secure mobility. In 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. Vol. 2896. 2003. p. 188-204. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-40965-6_13

Author

Blanchet, Bruno ; Aziz, Benjamin. / A calculus for secure mobility. 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. Vol. 2896 2003. pp. 188-204 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex

@inproceedings{4498dc399da149ddb476f2bf9e99173e,
title = "A calculus for secure mobility",
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.",
author = "Bruno Blanchet and Benjamin Aziz",
year = "2003",
month = dec,
day = "1",
doi = "10.1007/978-3-540-40965-6_13",
language = "English",
volume = "2896",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "188--204",
booktitle = "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",

}

RIS

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 -

ID: 12255071