The Modelling and Analysis of Security Protocols: the CSP Approach
by
Ryan, P., author.
Title
:
The Modelling and Analysis of Security Protocols: the CSP Approach
Author
:
Ryan, P., author.
ISBN
:
9780201674712
Personal Author
:
Ryan, P., author.
Edition
:
1st edition.
Physical Description
:
1 online resource (320 pages)
Local Note
:
O'Reilly
Subject Term
:
Computer networks -- Security measures.
Cryptography.
Computers -- Access control.
Computer security -- Mathematical models.
Computer software -- Verification.
Computer network protocols.
Computer programs -- Verification.
Réseaux d'ordinateurs -- Sécurité -- Mesures.
Cryptographie.
Ordinateurs -- Accès -- Contrôle.
Sécurité informatique -- Modèles mathématiques.
Logiciels -- Vérification.
Protocoles de réseaux d'ordinateurs.
Computer programs -- Verification. (OCoLC)fst00872448
Cryptography. (OCoLC)fst00884552
Computers -- Access control. (OCoLC)fst00872779
Computer software -- Verification. (OCoLC)fst00872604
Computer networks -- Security measures. (OCoLC)fst00872341
Computer network protocols. (OCoLC)fst00872279
Genre
:
Electronic books.
Added Author
:
Schneider, S.,
Schneider, S. A. (Steve A.)
Added Corporate Author
:
O'Reilly for Higher Education (Firm),
Safari, an O'Reilly Media Company.
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | Status |
|---|
| IYTE Library | E-Book | 2326682-1001 | XX(2326682.1) | O'reilly E-Books |