Foundations of Security, Protocols, and Equational Reasoning

Type:

e-book

Titel:

Foundations of Security, Protocols, and Equational Reasoning

Auteur:

Guttman; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko

Taal:

Engels

Uitgever:

Springer International Publishing 2019

ISBN:

3-030-19051-X
3-030-19052-8

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000008217411