Non-interference through determinism

Journal of Computer Security

Volumn 4, Issue 1, 1996, Pages 27-53

  Roscoe, A W ^a   Woodcock, J C P ^a   Wulf, L ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SYSTEMS; DATA PROCESSING; INFORMATION RETRIEVAL;

AUTOMATIC VERIFICATION; DETERMINISM; FORMAL METHODS; NON INTERFERENCE; PROCESS ALGEBRA;

SECURITY OF DATA;

EID: 0030232849     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-1996-4103     Document Type: Article

References (20)