Normal view MARC view ISBD view

A Theory of Assertions for Dolev-Yao Models Vaishnavi Sundararajan.

By: Sundararajan, Vaishnavi [author.].
Contributor(s): Ramanujam, R [advisor.] | Suresh, S.P [advisor.] | Chennai Mathematical Institute [parent institute. ].
Material type: TextTextPublisher: Chennai Chennai Mathematical Institute 2018Description: xvi, 206 pages; ill.; (colour, b & w) 29 cms.Subject(s): -- Security protocols | ChennaiOnline resources: Click here to access online
List(s) this item appears in: 2018-09-27
Item type Current location Call number Status Date due Barcode Item holds
Book Chennai Mathematical Institute
General Stacks
T SUN (Browse shelf) Available 10469
Total holds: 0

A thesis submitted in partial fulfilment of the requirement of the degree of degree of philosophy in computer science,