University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

A derivation system and compositional logic for security protocols

Anupam Datta, Ante Derek, John Mitchell and Dusko Pavlovic

info

journal	J. of Comp. Security
pages	423—482
volume	13
year	2005

links

related pages

people

Random Image

Random Image

Random Image