no abstract

In this paper we describe the formal specification language RASP for expressing fine-grained access control constraints in information systems. The design of the language is motivated by a number of IS case studies which demonstrate the complexity of the access constraints which arise if minimal (need-to-know) access is to be strictly enforced. RASP supports modularity, parameterization, role a...

The term “privacy” is generally used as “the right to select what personal information about me is known to what people” (Westin, 1976). In a technical view, data privacy protection is to manage individual data in a privacy aware way, including determination of when, how and to what extent such data can be communicated to others with what special features. Privacy is becoming a hot concern for ...

Secure multi-party computation (MPC) allows a set of n players to securely compute an agreed function of their inputs, even when up to t players are under the control of an adversary. Known asynchronous MPC protocols require communication of at least Ω(n) (with cryptographic security), respectively Ω(n) (with information-theoretic security, but with error probability and non-optimal resilience)...

Information Systems cannot be designed nor programmed without prior elicitation of the knowledge they need to know. Representing this knowledge in an explicit form is the main application of a Conceptual Model. By allowing for a minor paradigm shift, one can imagine the human body as an Information System. Highly complex and built on biological molecules, rather than man-made hardware, but an I...

In this paper we explore the information-theoretic aspects of interference alignment and its relation to channel state information (CSI). For the K−user interference channel using different changing patterns between different users, we propose several methods to align some parts of interferences and to increase what is achieved by time sharing method. For more practical case when all the channe...