947 search results - page 14 / 190 » Provable Implementations of Security Protocols |
ICC
2007
IEEE
15 years 6 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...
EUROCRYPT
2004
Springer
15 years 5 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...
ESOP
2003
Springer
15 years 4 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...
TARK
2007
Springer
15 years 5 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...
ISPEC
2009
Springer
15 years 6 months ago
2009
Springer
