Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols.

Michele Bugliesi Stefano Calzavara Fabienne Eigner Matteo Maffei

Published in: CSF (2011)

Keyphrases

cryptographic protocols
access control policies
access control
role based access control
standard model
authentication protocol
security protocols
conflict resolution
optimal policy
security policies
security properties
fine grained
low cost
real time
privacy policies
data security