@article{cardelli2005secrecy,
author = {Cardelli, Luca and Ghelli, Giorgio and Gordon, Andy},
title = {Secrecy and Group Creation},
year = {2005},
month = {January},
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 = {Elsevier ScienceDirect},
url = {http://approjects.co.za/?big=en-us/research/publication/secrecy-and-group-creation-2005/},
pages = {127-155},
journal = {Information and Computation},
volume = {196},
number = {2},
}