554 search results - page 87 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
133
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowl...
141
Voted
FC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
119
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
140
Voted
LISA
2007
15 years 6 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
129
Voted
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...