Formal security analysis of basic network-attached storage.

Avik Chaudhuri Martín Abadi

Published in: FMSE (2005)

Keyphrases

security analysis
public key
security model
smart card
security requirements
image encryption
high security
computer networks
network traffic
security properties
wireless sensor networks
encryption scheme
ddos attacks
user authentication
authentication scheme