2162 search results - page 240 / 433 » A Meta-Notation for Protocol Analysis |
170
click to vote
AINA
2006
IEEE
16 years 20 days ago
2006
IEEE
Design of protocols for mobile ad-hoc networks (MANETs) is generally tricky compared to wired networks, because on the one hand the increased communication constraints given by th...
163
click to vote
ICDCSW
2006
IEEE
16 years 19 days ago
2006
IEEE
Interdomain routing is essential to both the stability and efficiency of the global Internet. However, most previous studies focus only on stability, and only on a special class ...
164
click to vote
INFOCOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— Data aggregation protocols can reduce the cost of communication, thereby extending the lifetime of sensor networks. Prior work on data aggregation protocols has focused on tree...
184
click to vote
PEWASUN
2006
ACM
16 years 16 days ago
2006
ACM
In wireless multi-hop networks, hello protocols for neighbor discovery are a basic service offered by the networking stack. However, their study usually rely on rather simplistic...
188
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...