Event Systems and Access Control

Details Event Systems and Access Control Event Systems and Access Control

2006-04-21

arxiv.org/abs/cs/0604081v1

Computer Science

Logic in Computer Science

Scientific paper

We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems specified as event systems with fairness. We give proof rules for verifying that an access control policy is enforced in a system, and consider preservation of access control by refinement of event systems. In particular, refinement of user rights is non-trivial; we propose to combine low-level user rights and system obligations to implement high-level user rights.

Affiliated with

Also associated with

No associations

Rating

Event Systems and Access Control does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Event Systems and Access Control, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Event Systems and Access Control will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-627076