Vista normal MARC view ISBD view

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
    classificação média: 0.0 (0 votos)
Tipo de documento Localização Call number Estado Date due
Livro 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


© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: