741 search results - page 35 / 149 » Verification of security protocols using LOTOS-method and ap... |
159
click to vote
PERCOM
2003
ACM
16 years 3 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
154
click to vote
IC
2004
15 years 5 months ago
2004
In the next generation Internet, the network should not only be considered as a communication medium but also as a large source of services which use entails performance, reliabil...
145
click to vote
FC
2006
Springer
15 years 7 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
153
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
A tripartite authenticated key agreement protocol is generally designed to accommodate the need of three specific entities in communicating over an open network with a shared secre...
139
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....