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
Auteur :
Armando, Alessandro
ISBN :
9783642160738
Date de publication :
8 oct. 2010
Dimensions :
23,1 x 15,2 x 1,0 cm
Poids :
299 g
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, that was held in Paphos, Cyprus, in March 2010.