1490 search results - page 115 / 298 » The Logic of Authentication Protocols |
122
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
We describe a resource discovery and communication system designed for security and privacy. All objects in the system, e.g., appliances, wearable gadgets, software agents, and us...
128
Voted
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
134
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
The proliferation of smart gadgets, appliances, mobile devices, PDAs and sensors has enabled the construction of ubiquitous computing environments, transforming regular physical s...
118
Voted
ACISP
2007
Springer
15 years 7 months ago
2007
Springer
We study the multicast stream authentication problem when the communication channel is under control of an opponent who can drop, reorder and inject data packets. In this work, we...
112
Voted
USENIX
2008
15 years 5 months ago
2008
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...