University of Oxford Logo University of OxfordDepartment of Computer Science - Home

The Modelling and Analysis of Security Protocols

A. W. Roscoe‚ P. Ryan‚ S. Schneider‚ M. Goldsmith and G. Lowe

Details

Publisher

Addison−Wesley

Year

2001

Links

BibTeX

Related pages

People