Probabilistic noninterference in a concurrent language

Journal of Computer Security

Volumn 7, Issue 2, 1999, Pages 231-253

  Volpano, Dennis ^a   Smith, Geoffrey ^a  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER PRIVACY; MULTIPROGRAMMING; PROBABILISTIC LOGICS;

CONCURRENT LANGUAGE; DENOTATIONAL SEMANTICS; PROBABILISTIC NONINTERFERENCE; PROBABILISTIC TIMING CHANNELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0033330060     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-1999-72-305     Document Type: Article

References (17)