Descrição
Provides The Reader With A Tutorial On Some Modern Techniques To Model And Automatically Analyze Security Protocols. The Tutorial Can Be Used As A Basis For A Master Or Graduate Course On The Topic, Or As A Primer For Researchers From Different Areas To Get An Overview Of The Kinds Of Techniques That Are Available.
Detalhes do Livro
Formato
Brochura
Páginas
134 páginas
Idioma
Inglês
Publicado
nov 14, 2014
Editora
Now Publishers Inc
Edição
Reprint
Edições
2 edições
ISBN-10
1601989024
ISBN-13
9781601989024