Formal Aspects of Security
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Ali E. Abdallah
Themen in »Formal Aspects of Security«
cryptographic protocols cryptography cryptology formal specification formal verification intrusion detection modeling protocol analysis protocol verification safety critical systems security security protocols systems security
Stimmen zu »Formal Aspects of Security«
Details
ISBN: 9783540409816
Verlag: Springer Berlin
Erscheinung: 15.12.2003