Normal view MARC view ISBD view

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

Material type: Text

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

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

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	T SHE ON Effective Verification of Replicated Data Types	T SRI On internal tensor product of modules over schur algebra	T SUB Bounded Negativity and Harbourne Constants on Algebraic Surfaces	T SUN A Theory of Assertions for Dolev-Yao Models	T THI Algebraic Models for Asynchronous Control Structures	T TOS Geometry of Complex Monge-Ampere Equations a dissertation	T VAR Higgs Bundles on Elliptic Surfaces	Next

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

CMI Library