Probabilistic Termination and Composability of Cryptographic Protocols.

Ran Cohen Sandro Coretti Juan A. Garay Vassilis Zikas

Published in: IACR Cryptol. ePrint Arch. (2016)

Keyphrases

cryptographic protocols
standard model
security properties
bayesian networks
uncertain data
probabilistic model
authentication protocol
encryption decryption
real time
data sources
security protocols
formal verification