First Page | Document Content | |
---|---|---|
Date: 2010-01-27 19:53:39Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing | Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of EdinburghAdd to Reading ListSource URL: www.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 320,06 KBShare Document on Facebook |