3222 search results - page 444 / 645 » Decentralized Network Analysis: A Proposal |
188
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—In Vehicular Ad Hoc Networks (VANETs), the major communication challenge lies in very poor connectivity, which can be caused by sparse or unbalanced traffic. Deploying supporti...
166
click to vote
ANSS
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
156
click to vote
CCS
2004
ACM
15 years 12 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...
179
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
231
click to vote
FORTE
2011
14 years 10 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...