211 search results - page 1 / 43 » Secrecy and Group Creation |
ENTCS
2000
13 years 10 months ago
2000
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
CONCUR
2000
Springer
14 years 3 months ago
2000
Springer
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 com...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
CSFW
2006
IEEE
14 years 5 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
IJNSEC
2006
13 years 11 months ago
2006
Secure multicast represents the core component of many web and multimedia applications such as pay-TV, teleconferencing, real-time distribution of stock market price and etc. The ...