Dong, Ling. Cryptographic Protocol : Security Analysis Based on Trusted Freshness / Dong, Ling., Chen, Kefei Dewey Class. No.: QA76.9.A25 D66 2012