10 search results - page 1 / 2 » jcs 2008 |
JCS
2008
13 years 4 months ago
2008
JCS
2008
13 years 4 months ago
2008
JCS
2008
13 years 4 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
JCS
2008
13 years 4 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 4 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...