Protocol Insecurity with Assertions.

Ramaswamy Ramanujam Vaishnavi Sundararajan S. P. Suresh

Published in: CoRR (2022)

Keyphrases

lightweight
formal analysis
network protocols
knowledge base
cryptographic protocols
coloured petri nets
cooperative
decision trees
case study
security analysis
key distribution
tcp ip
communication protocols
rfid systems
voting protocols