2043 search results - page 200 / 409 » Reasoning About Security Models |
185
click to vote
CSFW
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
142
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
152
click to vote
PKC
2007
Springer
16 years 9 days ago
2007
Springer
We give a short constant-size group signature scheme, which we prove fully secure under reasonable assumptions in bilinear groups, in the standard model. We achieve this result by ...
185
click to vote
TARK
2007
Springer
16 years 9 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
159
click to vote
AAAI
1994
15 years 7 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...