526 search results - page 41 / 106 » A Z Based Approach to Verifying Security Protocols |
CIIT
2004
13 years 9 months ago
2004
Management has become a key concern for the success of multicast deployment in the Internet. One of the most important management tasks for multicast is to verify the availability...
ECBS
2008
IEEE
14 years 2 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
SOCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Mobile agent technology and Web Service technology compensate each other and play very important roles in eservice applications. The mechanism of Web Services technology naturally...
COCO
2007
Springer
14 years 1 months ago
2007
Springer
Interactive hashing, introduced by Naor, Ostrovsky, Venkatesan and Yung (CRYPTO ’92), plays an important role in many cryptographic protocols. In particular, it is a major compo...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...