ProToc - An Universal Language for Security Protocols Specifications.

A. Grosser Miroslaw Kurkowski Jacek Piatkowski Sabina Szymoniak

Published in: ACS (2014)

Keyphrases

security protocols
specification language
automated design
cryptographic algorithms
operational semantics
formal language
security properties
security services
artificial immune algorithm
key management
authentication protocol
real time
programming language
secure communication
controlled natural language