A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols.

Qin Li Qingkai Zeng

Published in: NSS (2009)

Keyphrases

network protocols
smart grid
information security
access control
model checking
network security
web services
intrusion detection
communication networks
security requirements