Inproceedings,

A logical approach to multilevel security of probabilistic systems.

, and .
IEEE Symposium on Security and Privacy, page 164-176. IEEE Computer Society, (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews