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

Company

Nokia / /

/

Facility

George Necula Computer Science Division University of California / Computer Science University of California / /

IndustryTerm

decision algorithm / software upgrades / proof-rule infrastructure / public-key infrastructure / extensible software systems / proof systems / software systems / /

Organization

ın Abadi Department / University of California / Santa Cruz / University of California / Berkeley / Proof-Carrying Code Nathan Whitehead Department / /

Person

Alice / George Necula / /

Position

Vp / V Vp / untrusted code producer / untrusted proof producer / producer / head / policy writer / interpreter / /

ProgrammingLanguage

Prolog / Datalog / Java / J / R / /

ProvinceOrState

Tennessee / California / /

Technology

Virtual Machine / cellular telephone / Java / operating system / digital signature / decision algorithm / public-key infrastructure / /

SocialTag