Probabilistic noninterference for multi-threaded programs

Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 ◽

10.1109/csfw.2000.856937 ◽

2002 ◽

Cited By ~ 114

Author(s):

A. Sabelfeld ◽

D. Sands

Download Full-text