947 search results - page 14 / 190 » Provable Implementations of Security Protocols |
132
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
131
Voted
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Informally, a public-key steganography protocol allows two parties, who have never met or exchanged a secret, to send hidden messages over a public channel so that an adversary can...
107
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
119
click to vote
TARK
2007
Springer
15 years 9 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
