1195 search results - page 80 / 239 » New constructions of SSPDs and their applications |
169
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
193
click to vote
SACMAT
2006
ACM
16 years 7 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
158
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
178
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...
164
click to vote
TCC
2009
Springer
16 years 6 months ago
2009
Springer
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...