Search Results - "cryptographic protocol"

1

Cover Image

Information Security and Cryptology ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers /

Published 2013

Table of Contents: '; “...Attack and defense -- Software and Web security -- Cryptanalysis -- Cryptographic protocol...”
Get full text

Electronic

2

Cover Image

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures /

Published 2009

Get full text

Electronic

3

Cover Image

Automated Deduction CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Published 2013

Table of Contents: '; “... New Unification Paradigm for Cryptographic Protocol Analysis -- Hierarchical Combination -- PRocH...”
Get full text

Electronic