161 search results - page 13 / 33 » Towards a Theory of Anonymous Networking |
IJDMB
2008
13 years 7 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
CSFW
2000
IEEE
13 years 11 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
ICDCSW
2008
IEEE
14 years 2 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
This paper introduces the distributed MAC protocol Jade. We consider a multi-hop wireless network with a single communication channel in which a powerful adversary is able to jam ...