The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41629
Record Status Checked
Record Id 41629
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.
Organisation CCLRC
Keywords Engineering , Security , Mobility , Process Algebra
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Eighth Asian Computing Science Conference (Asian 2003), Mumbai, India, 10-12 Dec 2003, (2003). doi:10.1007/b94667 2003