Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
By Reason and Authority: A System for Authorization of ProofCarrying Code Nathan Whitehead
 

Summary: By Reason and Authority: A System for Authorization of Proof­Carrying Code
Nathan Whitehead
Department of Computer Science
University of California, Santa Cruz
nwhitehe@cs.ucsc.edu
Mart’ n Abadi
Department of Computer Science
University of California, Santa Cruz
abadi@cs.ucsc.edu
George Necula
Computer Science Division
University of California, Berkeley
necula@cs.berkeley.edu
Abstract
We present a system, BLF, that combines an authoriza­
tion logic based on the Binder language with a logical
framework, LF, able to express semantic properties of pro­
grams. BLF is a general system for specifying and enforc­
ing policies that rely on both reason and trust. In particu­
lar, BLF supports extensible software systems that employ

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences