Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2 - Andrew Bell - Document - PDFSEARCH.IO

First Page	Meta Content
	Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2 Add to Reading List Document Date: 2010-12-15 21:35:36 Open Document File Size: 157,28 KB Share Result on Facebook

Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2Add to Reading List