1612 search results - page 269 / 323 » About models of security protocols |
LREC
2008
15 years 2 months ago
2008
The growing dependence of modern society on the Web as a vital source of information and communication has become inevitable. However, the Web has become an ideal channel for vari...
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
108
click to vote
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...
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 ...
112
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...