FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS WITH AUTOMATED REASONING

First Page		Document Content
Date: 2011-07-19 12:38:55		FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS WITH AUTOMATED REASONING Add to Reading List Source URL: etheses.bham.ac.uk Download Document from Source Website File Size: 1,16 MB Share Document on Facebook