47 search results - page 3 / 10 » Logic of information flow on communication channels |
ISITA
2010
13 years 5 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
ISCC
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper studies the fairness with which competing flows share the channel in ad hoc networks using collision avoidance protocols. It is shown that the required multihop coordi...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Contending flows in multi-hop 802.11 wireless networks compete with two fundamental asymmetries: (i) channel asymmetry, in which one flow has a stronger signal, potent...
ICFEM
1997
Springer
13 years 11 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...