@inproceedings{cardelli2000secrecy,
author = {Cardelli, Luca and Ghelli, Giorgio and Gordon, Andy},
title = {Secrecy and Group Creation},
booktitle = {CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory},
year = {2000},
month = {August},
abstract = {We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain communications, and can block the accidental or malicious leakage of secrets. Intuitively, no channel belonging to a fresh group can be received by processes outside the initial scope of the group, even if those processes are untyped. We formalize this intuition by adapting a notion of secrecy introduced by Abadi, and proving a preservation of secrecy property.},
publisher = {Springer-Verlag},
url = {http://approjects.co.za/?big=en-us/research/publication/secrecy-and-group-creation-2000/},
pages = {365-379},
isbn = {3-540-67897-2},
edition = {CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory},
}