5488 search results - page 167 / 1098 » On the Secure Implementation of Security Protocols |
119
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
163
click to vote
ISW
2009
Springer
15 years 11 months ago
2009
Springer
We analyze the Password Authenticated Connection Establishment (PACE) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Secur...
118
click to vote
CTRSA
2008
Springer
15 years 6 months ago
2008
Springer
In the 1980s, Yao presented a very efficient constant-round secure two-party computation protocol withstanding semi-honest adversaries, which is based on so-called garbled circuits...
149
click to vote
ADHOC
2007
15 years 4 months ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...
149
click to vote
PDPTA
2000
15 years 6 months ago
2000
In this paper, a Shopping Information Agent System (SIAS) is built based on mobile agent technology. It sends out agents to di erent hosts in an electronic marketplace. The agents ...