Blanchet (Personal Name)

Number of records used in: 1

Preferred form: Blanchet

Machine generated authority record

Work cat.: (OSt)200549: Blanchet, Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Dr. Sanjeev, Librarian

Managed by: Dr. D. P. Tripathi, Deputy Librarian, Central Library

For any query / question, please mail at circulation.liby@nitj.ac.in