Proof linking: An architecture for modular verification of dynamically-linked mobile code

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1998, Pages 222-230

  Fong, Philip W L ^a   Cameron, Robert D ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SYSTEMS PROGRAMMING; JAVA PROGRAMMING LANGUAGE; SECURITY OF DATA; SOFTWARE ENGINEERING;

MOBILE CODES;

COMPUTER ARCHITECTURE;

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

References (19)