1490 search results - page 127 / 298 » The Logic of Authentication Protocols |
137
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
125
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
131
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
106
Voted
FC
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports the highlights of a user study which gauges reactions to a variety of common “trust indicators” – such as logos, third party endorsements, and padlock icon...
136
click to vote
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...