10 search results - page 1 / 2 » jcs 2008 |
82
Voted
JCS
2008
14 years 9 months ago
2008
67
Voted
JCS
2008
14 years 10 months ago
2008
63
Voted
JCS
2008
14 years 10 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
75
Voted
JCS
2008
14 years 9 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 ...
90
Voted
JCS
2008
14 years 10 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...