Growing a protocol.

Kamala Ramasubramanian Kathryn Dahlgren Asha Karim Sanjana Maiya Sarah Borland Boaz Leskes Peter Alvaro

Published in: HotCloud (2017)

Keyphrases

coloured petri nets
lightweight
cryptographic protocols
real time
formal analysis
communication protocol
knowledge base
website
cooperative
network simulator
multiple access
provably secure
trusted third party
network protocols