253 search results - page 20 / 51 » Security Analysis using Flow Logics |
138
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
149
click to vote
SIGCOMM
1991
ACM
15 years 5 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
96
Voted
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
126
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
Carbon Nanotube Field-Effect Transistors (CNFETs) show big promise as extensions to silicon-CMOS because: 1) Ideal CNFETs can provide significant energy and performance benefits o...
100
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...