Chennai Mathematical Institute

Seminars




12:00 noon
A Dolev-Yao model for Zero Knowledge

A. Baskar
Chennai Mathematical Institute
03-12-09


Abstract

We propose an extension of the standard Dolev-Yao model of cryptographic protocols to facilitate symbolic reasoning about zero- knowledge proofs. This is accomplished by communicating typed terms, and providing a proof amounts to certifying that a term is of a particular type. We present a proof system for term derivability, which is employed to yield a decision procedure for checking whether a given protocol meets its zero knowledge speciļ¬cation.





Google
Search WWW Search cmi.ac.in