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
2006
13 years 11 months ago
2006
In recent years, the threats and damages caused by active worms have become more and more serious. In order to reduce the loss caused by fastspreading active worms, an effective de...
JCS
2006
13 years 11 months ago
2006
Privacy in Electronic Commerce transactions is the subject of ever increasing research. However, many challenges remain to be overcome. For example, let us consider a customer, Si...
JCS
2006
13 years 11 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
JCS
2006
13 years 11 months ago
2006
We present GKMPAN, an efficient and scalable group rekeying protocol for secure multicast in ad hoc networks. Our protocol exploits the property of ad hoc networks that each membe...
JCS
2006
13 years 11 months ago
2006
The A-GDH.2 and SA-GDH.2 authenticated group key agreement
JCS
2006
13 years 11 months ago
2006
JCS
2006
13 years 11 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
JCS
2006
13 years 11 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...