The modelling and analysis of security protocols :
by Ryan, Peter
Autores: Schneider, S. A.--(Steve A.) Publicado por : Addison-Wesley, (Harlow, England ; | New York :) Detalhes físicos: xiv, 300 p. : ill. ; 24 cm. ISBN: 0201674718. Assunto(s): Computer networks --Security measures. | Computer network protocols. | Computer software --Verification. | Computer security --Mathematical models. | Computers --Access control. | Cryptography. Year: 2001| Tipo de documento | Localização | Call number | Estado | Date due |
|---|---|---|---|---|
 Livro |
IST - Biblioteca do Tagus Park IST-Bib Tagus Park | TK5105.59.RYA.69788 (Browse shelf) | Emprestado | 2012-10-08 |
Includes bibliographical references (p. 285-291) and index.
Click numa imagem para vê-la no visualizador de imagens
