JCS
2008
13 years 11 months ago
2008
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...
JCS
2008
13 years 11 months ago
2008
JCS
2008
13 years 11 months ago
2008
JCS
2008
13 years 11 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
JCS
2008
13 years 11 months ago
2008
The protection of privacy is an increasing concern in our networked society because of the growing amount of personal information that is being collected by a number of commercial...
JCS
2008
13 years 11 months ago
2008
Randomized protocols for hiding private information can be regarded as noisy channels in the information-theoretic sense, and the inference of the concealed information can be reg...
JCS
2008
13 years 11 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
JCS
2008
13 years 11 months ago
2008
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
JCS
2008
13 years 11 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
JCS
2008
13 years 11 months ago
2008
The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bound...