97 search results - page 9 / 20 » Some Timestamping Protocol Failures |
SCN
2011
Springer
13 years 2 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
LCN
2006
IEEE
14 years 1 months ago
2006
IEEE
— In mobile sensor networks, self-deployment and relocation are two different research issues, both of which involve autonomous sensor movement. They share in most cases a common...
SAINT
2007
IEEE
14 years 1 months ago
2007
IEEE
In traditional job scheduling systems for the Grid, a single or a few machines handle information of all computing resources and scheduling tasks. This centralized approach is not...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
In epidemic or gossip-based multicast protocols, each node simply relays each message to some random neighbors, such that all destinations receive it at least once with high proba...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...