14078 search results - page 2059 / 2816 » Design and Analysis of Computer Algorithms |
347
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
286
click to vote
CSFW
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
190
click to vote
HUC
2011
Springer
14 years 7 months ago
2011
Springer
Micro-incentives represent a new but little-studied trend in participant compensation for user studies. In this paper, we use a combination of statistical analysis and models from...
229
click to vote
IACR
2011
14 years 7 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
285
click to vote
ICDCS
2011
IEEE
14 years 7 months ago
2011
IEEE
—Code dissemination in wireless sensor networks refers to the process of disseminating a new code image via wireless links to all sensor nodes after they are deployed. It is desi...