1853 search results - page 131 / 371 » Cryptographic Protocols and Network Security |
126
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Large-scale distributed systems present numerous security problems not present in local systems. In this paper we present a general security architecture for a large-scale object-...
125
click to vote
ISDA
2005
IEEE
15 years 10 months ago
2005
IEEE
Due to the wide deployment of sensor networks recently security in sensor networks has become a hot research topic. Popular ways to secure a sensor network are by including crypto...
123
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
158
click to vote
WS
2003
ACM
15 years 9 months ago
2003
ACM
In an ad hoc network, mobile computers (or nodes) cooperate to forward packets for each other, allowing nodes to communicate beyond their direct wireless transmission range. Many ...
143
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...