Secure safe ambients.

Michele Bugliesi Giuseppe Castagna

Published in: POPL (2001)

Keyphrases

security issues
lightweight
covert channel
identity management
key distribution
standard model
security mechanisms
low cost
case study
sensitive data
web services
information retrieval
real world
cryptographic protocols
group communication
data sets
real time