Towards Formal Analysis of Key Control in Group Key Agreement Protocols.

Anshu Yadav Anish Mathuria

Published in: SPACE (2012)

Keyphrases

formal analysis
group key agreement
ad hoc networks
key establishment
key management
agent model
knowledge base
peer to peer
formal methods