Accountability Protocols: Formalized and Verified Giampaolo Bella, Universit`a di Catania Lawrence C. Paulson, University of Cambridge Classical security protocols aim to achieve authentication and confidentiality under - Paulson - Document - PDFSEARCH.IO

First Page	Meta Content
	Accountability Protocols: Formalized and Verified Giampaolo Bella, Universit`a di Catania Lawrence C. Paulson, University of Cambridge Classical security protocols aim to achieve authentication and confidentiality under Add to Reading List Document Date: 2006-01-25 05:41:22 Open Document File Size: 284,99 KB Share Result on Facebook

Accountability Protocols: Formalized and Verified Giampaolo Bella, Universit`a di Catania Lawrence C. Paulson, University of Cambridge Classical security protocols aim to achieve authentication and confidentiality under Add to Reading List