Search

You searched for: Auteur Lowe, Gavin Remove constraint Auteur: Lowe, Gavin
1 entry found
Number of results to display per page

Search Results

1. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
thumbnail
Full text!
Author:
Armando, Alessandro; Kanade, Takeo; Lowe, Gavin; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book