2162 search results - page 132 / 433 » A Meta-Notation for Protocol Analysis |
ADHOCNETS
2009
Springer
14 years 3 months ago
2009
Springer
Node clustering and data aggregation are popular techniques to reduce energy consumption in large WSNs and a large body of literature has emerged describing various clustering prot...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
HOST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Outsourcing the fabrication of semiconductor devices to merchant foundries raises some issues concerning the IP protection of the design. Active hardware metering schemes try to...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Without the multicast support from the underlying networks, overlay multicast has the advantage of implementing inter-domain multicast communications. Usually, overlay multicas...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...