Your search returned 3 results.

Results
		Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS, Paphos, Cyprus, Mar. 27-28, 2010 (e-book) by Armando, Alessandro [Editor] \| Lowe, Gavin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6186 \| LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Frontiers of combining systems (e-book) by Armando, Alessandro [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.2309Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2002Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Automated reasoning (e-book) by Armando, Alessandro [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5195Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search