Computability classes for enforcement mechanisms
نویسندگان
چکیده
منابع مشابه
Computability theoretic classifications for classes of structures
In this paper, we survey recent work in the study of classes of structures from the viewpoint of computability theory. We consider different ways of classifying classes of structures in terms of their global properties, and see how those affect the structures inside the class. On one extreme, we have the classes that are Σ-small. These are the classes which realize only countably many ∃-types, ...
متن کاملAxiomatic Theory of Algorithms: Computability and Decidability in Algorithmic Classes
Axiomatic approach has demonstrated its power in mathematics. The main goal of this paper is to show that axiomatic methods are also very efficient for computer science. It is possible to apply these methods to many problems in computer science. Here the main modes of computer functioning and program execution are described, formalized, and studied in an axiomatic context. The emphasis is on th...
متن کاملEnforcement for Usage Control - An Overview of Control Mechanisms
Executive Summary This document describes the results of the first two work packages of the research project " Enforcement for Usage Control " , carried out jointly by DoCoMo Euro-Labs and the Information Security group at ETH Zurich. The goal of the project is the development of a server-side architecture that enables the enforcement of usage control requirements at the data consumer's side. D...
متن کاملAutomata : Enforcement Mechanisms for Run - time Security Policies ?
We analyze the space of security policies that can be enforced by monitoring and modifying programs at run time. Our program monitors, called edit automata, are abstract machines that examine the sequence of application program actions and transform the sequence when it deviates from a specified policy. Edit automata have a rich set of transformational powers: They may terminate the application...
متن کاملA Flexible Framework for Architecting XML Access Control Enforcement Mechanisms
Due to the growing interests in XML security, various access control schemes have been proposed recently. However, little effort has been put forth to facilitate a uniform analysis and comparison of these schemes under the same framework. This paper presents a first attempt toward a flexible framework that can capture the design principles and operations of existing XML access control mechanism...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2006
ISSN: 0164-0925,1558-4593
DOI: 10.1145/1111596.1111601