Research on proof-carrying code for untrusted-code security

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1997, Pages 204-

  Necula, George ^a   Lee, Peter ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; PROGRAM COMPILERS; PROGRAM INTERPRETERS;

PROOF CARRYING CODE (PCC);

SECURITY OF DATA;

EID: 0030649083     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (2)