718 search results - page 120 / 144 » Security protocols, properties, and their monitoring |
CCS
2006
ACM
15 years 5 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?...
118
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Differential Power Analysis (DPA) presents a major challenge to mathematically-secure cryptographic protocols. Attackers can break the encryption by measuring the energy consumed i...
151
click to vote
CL
2007
Springer
15 years 1 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
114
click to vote
JCS
2010
15 years 11 days ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
121
click to vote
JOC
2011
14 years 4 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...