Back to Results
First PageMeta Content
Model 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 Computer
Add to Reading List

Document Date: 2010-10-29 12:59:44


Open Document

File Size: 281,46 KB

Share Result on Facebook
UPDATE