741 search results - page 76 / 149 » Verification of security protocols using LOTOS-method and ap... |
139
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
We demonstrate how the framework that is used for creating efficient number-theoretic ID and signature schemes can be transferred into the setting of lattices. This results in cons...
109
Voted
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
We introduce the notion of a conditioned-safe ceremony. A “ceremony” is similar to the conventional notion of a protocol, except that a ceremony explicitly includes human part...
132
click to vote
IWCMC
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes a dynamic trust establishment protocol that enables the nodes of an ad hoc network to establish security associations among each other in a distributed and pee...
176
click to vote
IJNSEC
2011
14 years 11 months ago
2011
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
152
click to vote
ACSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...