A logic for reasoning about security.
| Autor: | Glasgow, Janice, Macewen, Glenn, Panangaden, Prakash |
|---|---|
| Zdroj: | ACM Transactions on Computer Systems; Aug1992, Vol. 10 Issue 3, p226-264, 39p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Glasgow, Janice, Macewen, Glenn, Panangaden, Prakash |
|---|---|
| Zdroj: | ACM Transactions on Computer Systems; Aug1992, Vol. 10 Issue 3, p226-264, 39p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|