DMCA

Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols

by Gergei Bana , Mitsuhiro Okada , Koji Hasebe
Citations:5 - 3 self