Automated enforcement for relaxed information release with reference points
نویسندگان
چکیده
منابع مشابه
On the design of interworking reference points for information networking
Providers of telecommunications services will have a need in the future to integrate a variety of applications into their service portfolios. They will make use of reference points, which allow interworking of applications in different administrative domains, like e.g. the Retailer Reference Point developed by TINA-C. Based on experiences with implementations that are compliant to such referenc...
متن کاملVerified Enforcement of Automaton-based Information Release Policies
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new approach for ensuring that security-critical software correctly enforces its information release policy. Our approach has two parts. First, an information release policy is specified as a security automaton written in a...
متن کاملInefficiently Automated Law Enforcement
For some crimes the entire law enforcement process can now be automated. No humans are needed to detect the crime, identify the perpetrator, or impose punishment. While automated systems are cheap and efficient, governments and citizens must look beyond these obvious savings as manual labor is replaced by robots and computers. Inefficiency and indeterminacy have significant value in automated l...
متن کاملDeclassification with Explicit Reference Points
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for many applications. For instance, the output of a knowledge-based authentication mechanism needs to reveal whether an input matches the secret password. The research problem is to allow such exceptions without giving up...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2014
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-014-5168-7