OXFORD UNIVERSITY COMPUTING LABORATORY

A compositional logic for proving security properties of protocols

Nancy Durgin, John Mitchell and Dusko Pavlovic

info

journal

J. of Comp. Security

number

4

pages

677—721

volume

11

year

2004

links

BibTeX

Link (pdf)

related pages

people

Random Image
Random Image
Random Image