A Logical Approach to Multilevel Security of Probabilistic Systems

Authors:
Jonathan K. Millen
Affiliations:
-
Venue:
SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
Year:
1992

Citing 0
Cited 7

New paradigms for high assurance software

NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Untrusted hosts and confidentiality: secure program partitioning

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Secure program partitioning

ACM Transactions on Computer Systems (TOCS)
Probabilistic Information Flow in a Process Algebra

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Language Issues in Mobile Program Security

Mobile Agents and Security
A process-algebraic approach for the analysis of probabilistic noninterference

Journal of Computer Security
A logical approach to multilevel security of probabilistic systems

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A denial-of-service protection base is characterized as aresource monitor closely related to a TCB, supporting awaiting-time policy for benign processes. Resourcemonitor algorithms and policies can be stated in thecontext of a state-transition model of a resourceallocation system.