A Theory of Assertions for Dolev-Yao Models Vaishnavi Sundararajan.
Contributor(s): Ramanujam, R [advisor.] | Suresh, S.P [advisor.] | Chennai Mathematical Institute [parent institute. ].Material type: TextPublisher: 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
|Item type||Current location||Call number||Status||Date due||Barcode||Item holds|
|Book||Chennai Mathematical Institute General Stacks||T SUN (Browse shelf)||Available||10469|
A thesis submitted in partial fulfilment of the requirement of the degree of degree of philosophy in computer science,