1853 search results - page 107 / 371 » Cryptographic Protocols and Network Security |
119
click to vote
WISEC
2009
ACM
15 years 11 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...
140
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
146
click to vote
MSN
2007
Springer
15 years 10 months ago
2007
Springer
To increase the lifespan of wireless sensor networks (WSN) and preserve the energy of sensors, data aggregation techniques are usually used. Aggregation can be seen as the process ...
162
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
143
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...