Amanote Research
Register
Sign In
By Reason and Authority: A System for Authorization of Proof-Carrying Code
doi 10.1109/csfw.2004.1310744
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
N. Whitehead
M. Abadi
G. Necula
Publisher
IEEE