4305 search results - page 297 / 861 » Analysing Protocol Implementations |
178
click to vote
FC
2010
Springer
15 years 10 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 ...
342
click to vote
Lecture Notes
This is a series of laboratory exercises designed for use in data communication, computer networking and telecommunication courses. These labs enable students to experiment with va...
156
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
Replicated file-systems can experience degraded performance that might not be adequately handled by the underlying fault-tolerant protocols. We describe the design and implementa...
175
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Internet Protocol Security (IPSec) is a widely deployed mechanism for implementing Virtual Private Networks (VPNs). In previous work, we examined the overheads incurred...
179
Voted
DEXAW
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...