A Type-based Formal Specification for Cryptographic Protocols.

Paventhan Vivekanandan

Published in: J. Internet Serv. Inf. Secur. (2018)

Keyphrases

formal specification
cryptographic protocols
specification languages
model checking
specification language
object oriented design
formal methods
reverse engineering
process algebra
standard model
concurrent systems
artificial intelligence
information systems
temporal logic
software components
software engineering