Login / Signup
By Reason and Authority: A System for Authorization of Proof-Carrying Code.
Nathan Whitehead
Martín Abadi
George C. Necula
Published in:
CSFW (2004)
Keyphrases
</>
access control
source code
fine grained
theorem prover
link analysis
conflict resolution
theorem proving
security requirements
error correcting
neural network
multi agent systems
security policies
linear logic