691 search results - page 83 / 139 » A New Security Model for Authenticated Key Agreement |
160
click to vote
SOCA
2007
IEEE
15 years 7 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...
106
click to vote
JAR
2006
15 years 1 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
113
click to vote
ICICS
2001
Springer
15 years 6 months ago
2001
Springer
Secure group communication with hierarchical access control refers to a scenario where a group of members is divided into a number of subgroups located at different privilege leve...
158
click to vote
ICEB
2004
15 years 3 months ago
2004
Due to the advent of the Internet, electronic business transactions have exploded around the globe. Along with the Internet, wireless technology has exponentially developed as wel...
116
Voted
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...