Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security electronic resource : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe

Författare: Cyprus) (2010 Mar. 27-28 Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Paphos
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat