Sign in
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