2043 search results - page 263 / 409 » Reasoning About Security Models |
103
Voted
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
A new operating paradigm is still needed for the power industry in order to achieve a workable deregulated market. The two main proposals, namely the Bilateral and the Poolco mode...
107
click to vote
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Optimistic fair exchange (OFE) is a protocol for solving the problem of exchanging items or services in a fair manner between two parties, a signer and a verifier, with the help o...
94
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
109
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper introduces g-leakage, a rich generalization of the min-entropy model of quantitative information flow. In g-leakage, the benefit that an adversary derives f...
106
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...