Login / Signup
Formal Analysis of V2X Revocation Protocols.
Jorden Whitefield
Liqun Chen
Frank Kargl
Andrew Paverd
Steve A. Schneider
Helen Treharne
Stephan Wesemeyer
Published in:
CoRR (2017)
Keyphrases
</>
formal analysis
key distribution
payment protocol
trusted third party
formal methods
access control
ban logic
agent model
public key
key management
security protocols
building blocks
third party
authentication protocol
blind signature