Secure composition of insecure components

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1999, Pages 136-150

  Sewell, Peter ^a   Vitek, Jan ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; LINGUISTICS; NETWORK PROTOCOLS;

MODEL PROGRAMMING LANGUAGE; SOFTWARE COMPONENTS;

SECURITY OF DATA;

EID: 0032646571     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (40)