Composable Security Analysis of OS Services.

Ran Canetti Suresh Chari Shai Halevi Birgit Pfitzmann Arnab Roy Michael Steiner Wietse Z. Venema

Published in: ACNS (2011)

Keyphrases

security analysis
smart card
security requirements
public key
high security
image encryption
operating system
open source
user authentication
authentication protocol
web services
mutual authentication
authentication scheme
service oriented
encryption scheme
lightweight
data mining
databases