Secrecy in Untrusted Networks
Secrecy in Untrusted Networks
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies and security protocols over distributed, mobile infrastructures, and aims to stand to ambients as the spi calculus stands to ?. We present a type system that separates trusted and untrusted data and code, while allowing safe interactions with untrusted sites. We prove that the type system enforces a privacy property, and show the expressiveness of the calculus via examples and an encoding of the spi calculus.
data privacy, protection policies, untrusted networks, mobile ambients, spi-calculus
3-540-40493-7
969-983
Bugliesi, M.
5aa66286-072d-4bf1-ac83-c4d4d70423ab
Crafa, S.
eaef0e4a-9894-4fa2-9ad8-b901cd2aa5ac
Prelic, A.
19e46c9b-25db-4b62-be36-39bbfaa986a0
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
2003
Bugliesi, M.
5aa66286-072d-4bf1-ac83-c4d4d70423ab
Crafa, S.
eaef0e4a-9894-4fa2-9ad8-b901cd2aa5ac
Prelic, A.
19e46c9b-25db-4b62-be36-39bbfaa986a0
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V.
(2003)
Secrecy in Untrusted Networks.
30th International Colloquium on Automata, Languages and Programming, ICALP 2003..
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies and security protocols over distributed, mobile infrastructures, and aims to stand to ambients as the spi calculus stands to ?. We present a type system that separates trusted and untrusted data and code, while allowing safe interactions with untrusted sites. We prove that the type system enforces a privacy property, and show the expressiveness of the calculus via examples and an encoding of the spi calculus.
PDF
cbaICALPoff.pdf
- Other
More information
Published date: 2003
Venue - Dates:
30th International Colloquium on Automata, Languages and Programming, ICALP 2003., 2003-01-01
Keywords:
data privacy, protection policies, untrusted networks, mobile ambients, spi-calculus
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 262293
URI: https://eprints.soton.ac.uk/id/eprint/262293
ISBN: 3-540-40493-7
PURE UUID: 340cce76-06a8-4a93-9eee-c924cd7b9a3c
Catalogue record
Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52
Export record
Contributors
Author:
M. Bugliesi
Author:
S. Crafa
Author:
A. Prelic
Author:
V. Sassone
University divisions
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics