TY - BOOK AU - Dong, Ling. AU - Chen, Kefei TI - Cryptographic Protocol: Security Analysis Based on Trusted Freshness U1 - QA76.9.A25 D66 2012 ER -