5511 search results - page 152 / 1103 » Security for Network Places |
132
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
118
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The intrinsically secure communications graph (-graph) is a random graph which captures the connections that can be securely established over a large-scale network, in the presence...
105
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The demand for efficient data dissemination/access techniques to find the relevant data from within a sensor network has led to the development of data-centric sensor networks...
105
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
A network latency estimation scheme associates a "position" to every peer in a distributed network such that the latency between any two nodes can be accurately estimate...
135
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...