1059 search results - page 153 / 212 » Modeling Security Protocols as Games |
161
click to vote
AIED
2007
Springer
15 years 12 months ago
2007
Springer
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...
160
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...
258
click to vote
WWCA
1998
Springer
15 years 10 months ago
1998
Springer
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
164
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
164
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...