382 search results - page 15 / 77 » Rule-based static analysis of network protocol implementatio... |
104
click to vote
ADHOCNOW
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many to many reliable broadcast is useful while building distributed services like group membership and agreement in a MANET. Efforts in implementing reliable broadcast ...
ICASSP
2010
IEEE
14 years 12 months ago
2010
IEEE
Design and analysis of cooperative communication schemes based upon modeling and simulation exist in large quantities in the research literature. Despite this fact, there have bee...
PAM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...
135
click to vote
NETWORKING
2000
15 years 1 months ago
2000
Mobile ad hoc wireless networks are generating novel interests in mobile computing. The dynamism in network topology has thrown up multifarious issues, requiring a fresh look into ...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...