Login / Signup
Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols.
Jinyue Xia
Jiandong Wang
Liming Fang
Yongjun Ren
Shizhu Bian
Published in:
IACR Cryptol. ePrint Arch. (2008)
Keyphrases
</>
probabilistic model
formal proof
machine learning
end to end
probability distribution
theorem prover