2162 search results - page 172 / 433 » A Meta-Notation for Protocol Analysis |
ESOP
2004
Springer
14 years 3 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...
IPSN
2003
Springer
14 years 3 months ago
2003
Springer
Although data forwarding algorithms and protocols have been among the first set of issues explored in sensor networking, how to reliably deliver sensing data through a vast field...
MOBIHOC
2008
ACM
14 years 9 months ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...
DATE
2008
IEEE
13 years 12 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
IACR
2011
12 years 9 months ago
2011
Hummingbird-2 is an encryption algorithm with a 128-bit secret key and a 64-bit initialization vector. Hummingbird-2 optionally produces an authentication tag for each message proc...