Date: 2010-10-29 12:59:44Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics | | Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of ComputerAdd to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source Website File Size: 281,46 KBShare Document on Facebook
|