Basic theorems about security (1992)
by
Jeremy Jacob
| Venue: | Journal of Computer Security |
| Citations: | 13 - 1 self |
BibTeX
@ARTICLE{Jacob92basictheorems,
author = {Jeremy Jacob},
title = {Basic theorems about security},
journal = {Journal of Computer Security},
year = {1992},
volume = {1},
pages = {385--411}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We build a mathematical structure in which we can ask questions about the methods for achieving security properties, such as confidentiality and integrity, and functionality properties, such as safety and liveness. The structure allows us to consider many different choices for the meaning of “confidentiality” and “integrity ” and so on, and to compare and contrast security properties with functionality properties.
