NSPW '92-93: Proceedings on the 1992-1993 workshop on New security paradigms
Abstract
No abstract available.
Skip Table Of Content Section
Article
Bell and LaPadula axioms: a “new” paradigm for an “old” model
Pages 82–93https://doi.org/10.1145/283751.283789
Ideally secure systems must, be provable secure, so they are all defined by mathematical models. Most of current systems are based on the Bell and LaPadula Model (BLM), however, many usages are not logically sound. In this paper, a new paradigm is proposed ...
Article
Concurrent automata, database computers, and security: a “new” security paradigm for secure parallel processing
Pages 94–104https://doi.org/10.1145/283751.283792
Declustering has been proposed to speed up parallel database machines. However, the security requires clustering. In this paper, we use temporal clustering to reconcile the apparent conflict. Automata theory is applied to high level architecture design. ...
Please enable JavaScript to view thecomments powered by Disqus.