Probabilistic noninterference for multi-threaded programs

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2000, Pages 200-214

  Sabelfeld, Andrei ^a   Sands, David ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA PRIVACY; MULTIPROCESSING PROGRAMS; MULTIPROGRAMMING; PROBABILITY DISTRIBUTIONS;

MULTI-THREADED PROGRAMS; PROBABILISTIC NONINTERFERENCE;

SECURITY OF DATA;

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

References (20)