Automated Analysis of Security Protocols with Global State.

Steve Kremer Robert Künnemann

Published in: IEEE Symposium on Security and Privacy (2014)

Keyphrases

automated analysis
security protocols
visual analysis
databases
automated design
biomedical imaging
digital libraries
information systems
image sequences
wireless sensor networks
low cost
computer systems