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

Gespeichert in:

Personen und Körperschaften:	Armando, Alessandro (VerfasserIn), Lowe, Gavin (HerausgeberIn)
Titel:	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/ edited by Alessandro Armando, Gavin Lowe
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6186
Schlagwörter:	Computer science Computer Communication Networks Computer software Computer Science Software engineering Data encryption (Computer science) Computer networks . Computers and civilization. Algorithms. Cryptography. Compilers (Computer programs). Konferenzschrift > 2010 > Paphos, Ktima
Druckausg.:	Automated reasoning for security protocol analysis and issues in the theory of security, Berlin : Springer, 2010, VIII, 184 S.
Quelle:	Verbunddaten SWB