Login / Signup
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.
Alfredo Pironti
Riccardo Sisto
Published in:
ARES (2008)
Keyphrases
</>
security protocols
formal model
cryptographic algorithms
real time