Deliverable D 3 . 1 Confidentiality and Integrity Policies
نویسندگان
چکیده
This deliverable reports on the results from the WebSand work package on information-flow control. These results underpin a framework for decentralized confidentiality and integrity policies but also include investigations on how to these policies can be enforced.
منابع مشابه
Data Integrity Limitations in Highly Secure Systems
We discuss a class of computer/network architectures that supports multilevel security while utilizing commercial-off-the-shelf (COTS) workstations and COTS productivity software applications. We show that a property of these architectures is that, while supporting multilevel confidentiality policies, they do not generally support partially ordered integrity policies: specifically, these archit...
متن کاملA Trustworthy Assurance-as-a-Service Architecture
Increasing complexity and inter-dependency of information systems (IS), and the lack of transparency regarding system components and policies, have rendered traditional security mechanisms (applied at different OSI levels) inadequate to provide convincing confidentiality-integrity-availability (CIA) assurances regarding any IS. We present an architecture for a generic, trustworthy assurance-as-...
متن کاملICT Priority Deliverable D 3 . 1 : “ Baseline Object Recognition System ”
Dissemination Level PU Public X PP Restricted to other programme participants (including the Commission RE Restricted to a group specified by the consortium (including the Commission CO Confidential, only for members of the consortium (including the Commission Services)
متن کاملAttacker Control and Impact for Confidentiality and Integrity
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Securitytyped languages have therefore introduced declassification mechanisms for relaxing confidentiality policies, and endorsement mechanisms for relaxing integrity policies. However, a continuing challenge has been t...
متن کاملA Semantic Framework for Declassification and Endorsement
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Security-typed languages have therefore introduced declassification mechanisms for relaxing confidentiality policies, and endorsement mechanisms for relaxing integrity policies. However, a continuing challenge has been ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011