Cover image not available

Security protocol specification and verification and AnBx

Bugliesi Michele

Publication Data

Title Security protocol specification and verification and AnBx
Author Bugliesi Michele
Contributors Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti
Publisher Newcastle University, Computing Science
Publication date 0000
Publication location Newcastle upon Tyne

Topics

Computer security
Computers :: Access control

Catalogue Data

OBNB ID GBB640505
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 23 pages
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Security protocol specification and verification and AnBx by Bugliesi Michele. Published by Newcastle University, Computing Science. Publication and catalogue information, links to buy online and reader comments.