1490 search results - page 221 / 298 » The Logic of Authentication Protocols |
109
click to vote
FC
2010
Springer
15 years 4 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 ...
125
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
When users run a group key exchange (GKE) protocol, they usually extract the key from some auxiliary (ephemeral) secret information generated during the execution. Strong corrupti...
119
Voted
SIGUCCS
2003
ACM
15 years 5 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
112
Voted
USITS
1997
15 years 1 months ago
1997
Emerging applications in electronic commerce often involve very low-cost transactions, which execute in the context of ongoing, extended clientserver relationships. For example, c...
79
Voted
CN
2007
15 years 18 days ago
2007
In multicast communication, a source transmits the same content to a set of receivers. Current protocols for multicast follow a tree communication model which makes them scalable....