1059 search results - page 95 / 212 » Modeling Security Protocols as Games |
114
click to vote
NETGAMES
2003
ACM
15 years 5 months ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
100
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
110
Voted
JOC
2000
15 years 8 days ago
2000
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
107
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
126
Voted
MSWIM
2009
ACM
15 years 7 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...