Conference
Defining noninterference in the temporal logic of actions
| Title: | Defining noninterference in the temporal logic of actions |
|---|---|
| Authors: | Fine, T. |
| Source: | Proceedings 1996 IEEE Symposium on Security and Privacy Security and privacy Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on. :12-21 1996 |
| Relation: | Proceedings 1996 IEEE Symposium on Security and Privacy |
| ISSN: | 10816011 |
| DOI: | 10.1109/SECPRI.1996.502665 |
| Database: | IEEE Xplore Digital Library |