Your search returned 2 results.

Results
		Formal aspects of security and trust : 7th international workshop, FAST, Pisa, Italy, Sept. 16-17, 2010 (e-book) by Degano, Pierpaolo [Editor] \| Etalle, Sandro [Editor] \| Guttman, Joshua [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6561 \| LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Foundations of security, protocols, and equational reasoning (e-book) by Guttman, Joshua [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.11565Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2019Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search