173 search results - page 29 / 35 » Evaluating Access Control Policies Through Model Checking |
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
HPCA
1998
IEEE
13 years 12 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
EUC
2008
Springer
13 years 9 months ago
2008
Springer
Satisfying the varied privacy preferences of individuals, while exposing context data to authorized applications and individuals, remains a major challenge for context-aware compu...
FAST
2009
13 years 5 months ago
2009
We introduce a novel multi-resource allocator to dynamically allocate resources for database servers running on virtual storage. Multi-resource allocation involves proportioning t...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Cost control for the Internet access providers (AP) influences not only the nominal speeds offered to the customers, but also other, more controversial, policies related to traffi...