3504 search results - page 573 / 701 » Secure protocol composition |
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?...
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
105
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Recently, operators of public transportation in many countries started to roll out electronic tickets (e-tickets). E-tickets offer several advantages to transit enterpris...
115
Voted
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...
146
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...