2583 search results - page 217 / 517 » Internet Messaging Frameworks |
155
click to vote
TMC
2011
14 years 11 months ago
2011
Abstract—We study routing overhead due to location information collection and retrieval in mobile ad-hoc networks employing geographic routing with no hierarchy. We first provid...
134
click to vote
ARESEC
2011
14 years 4 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
144
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—We present in this paper SGNET, a distributed framework to collect information on Internet attacks, with special attention to self-propagating malware and code injections. This ...
129
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
The nowadays Internet architecture is mainly based on unicast communications and best-effort service. However, the development of the Internet encouraged emerging services that ar...
230
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...