Formal correctness of security protocols /

Formal correctness of security protocols /

Show other versions (2)
Bibliographic Details
Main Author: Bella, Giampaolo
Format: Book
Language:English
Published: Berlin ; New York : Springer, c2007
Series:Information security and cryptography
Information security and cryptography
Subjects:
Computer network protocols
Computer networks > Access control
Computer networks > Security measures
Computer security

Internet

Stanford University

Holdings details from Stanford University
Call Number: ISIL:US-CST
TK5105.59 .B45 2007

Yale University

Holdings details from Yale University
Call Number: TK5105.59 .B45 2007 (LC)

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: TK5105.59.B45 2007

Duke University

Holdings details from Duke University
Call Number: TK5105.59 .B45 2007

Cornell University

Holdings details from Cornell University
Call Number: TK5105.59 .B45 2007

Similar Items