Author of the publication

The epistemic representation of information flow security in probabilistic systems.

, and . CSFW, page 152-166. IEEE Computer Society, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Information Sharing in Secure Systems.. CSFW, page 128-138. IEEE Computer Society, (1990)A Study of Least Privilege in CapBasED-AMS., , and . CoopIS, page 208-217. IEEE Computer Society, (1998)Protection Against EEPROM Modification Attacks., and . ACISP, volume 1438 of Lecture Notes in Computer Science, page 250-260. Springer, (1998)Least Privilege Security in CapBasED-AMS., , and . Int. J. Cooperative Inf. Syst., 8 (2-3): 139-168 (1999)On Information Flow Security Models.. CSFW, page 55-60. IEEE Computer Society, (1991)Probabilistic Interference.. S&P, page 170-179. IEEE Computer Society, (1990)Toward a Mathematical Foundation for Information Flow Security.. S&P, page 21-35. IEEE Computer Society, (1991)A logical approach to multilevel security of probabilistic systems., and . S&P, page 164-176. IEEE Computer Society, (1992)Protocols for issuing public-key certificates over the Internet., and . ICICS, volume 1334 of Lecture Notes in Computer Science, page 424-434. Springer, (1997)On introducing noise into the bus-contention channel.. S&P, page 90-98. IEEE Computer Society, (1993)