Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Alessandro Armando
Themen in »Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security«
access control automated reasoning formal specification intrusion detection logic-based design security algorithm analysis and problem complexity
Stimmen zu »Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security«
Details
ISBN: 9783642160738
Verlag: Springer Berlin
Erscheinung: 08.10.2010