Computational paradigms and protection

Authors:
Simon N. Foley;John P. Morrison
Affiliations:
University College, Cork, Ireland;University College, Cork, Ireland
Venue:
Proceedings of the 2001 workshop on New security paradigms
Year:
2001

Citing 4
Cited 0

The specification and implementation of “commercial” security requirements including dynamic segregation of duties

Proceedings of the 4th ACM conference on Computer and communications security
Protection

ACM SIGOPS Operating Systems Review
Design and verification of secure systems

SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Adaptive and reliable parallel computing on networks of workstations

ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate how protection requirements may be specified and implemented using the imperative, availability and coercion paradigms. Conventional protection mechanisms generally follow the imperative paradigm, requiring explicit and often centralized control over the sequencing and the mediation of security critical operations. This paper illustrates how casting protection in the availability and/or coercion styles provides the basis for more flexible and potentially distributed control over the sequencing and mediation of these operations.