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