A Specification Language for Distributed Policy Control

Authors:
Shigeta Kuninobu;Yoshiaki Takata;Daigo Taguchi;Masayuki Nakae;Hiroyuki Seki
Affiliations:
-;-;-;-;-
Venue:
ICICS '02 Proceedings of the 4th International Conference on Information and Communications Security
Year:
2002

Citing 5
Cited 1

Conflicts in Policy-Based Distributed Systems Management

IEEE Transactions on Software Engineering
XML document security based on provisional authorization

Proceedings of the 7th ACM conference on Computer and communications security
Reflective authorization systems: possibilities, benefits, and drawbacks

Secure Internet programming
The Ponder Policy Specification Language

POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
A Logical Language for Expressing Authorizations

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy

HBAC: a model for history-based access control and its model checking

ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we discuss a distributed policy control model where each object has its own policy and objects' behaviors are autonomously controlled based on those policies when they interact with one another. First the paper proposes a policy specification language suitable for distributed policy control. The operational semantics of the language is formally defined. Based on the formal semantics, we propose a runtime policy control mechanism for interpreting a given policy specification and sequencing method execution.