Foundations of Security, Protocols, and Equational Reasoning

Format:

e-book

Title:

Foundations of Security, Protocols, and Equational Reasoning

Author:

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

Language:

English

Publisher:

Springer International Publishing 2019

ISBN:

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

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000008217411?locale=en