3115 search results - page 281 / 623 » Synthesizing Secure Protocols |
168
click to vote
FC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents a new protocol for M + 1st-price auction, a style of auction in which the highest M bidders win and pay a uniform price, determined by the (M + 1)st p...
261
click to vote
ESAS
2007
Springer
15 years 10 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
176
click to vote
ATVA
2006
Springer
15 years 10 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....
201
click to vote
IC
2004
15 years 8 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...
177
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— Nodes forming mobile ad hoc networks (MANET) nodes can be logically partitioned into 1) a selfish user agent serving the interests of the end user (owner) of the mobile device...