375 search results - page 60 / 75 » What is Correctness of Security Protocols |
150
click to vote
UIALL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we report on ongoing experiments with an advanced multimodal system for applications in architectural design. The system supports uninformed users in entering the rel...
157
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
157
click to vote
ICDCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzan...
163
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
134
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Consider a pollster who wishes to collect private, sensitive data from a number of distrustful individuals. How might the pollster convince the respondents that it is trustworthy?...