947 search results - page 14 / 190 » Provable Implementations of Security Protocols |
155
Voted
ICC
2007
IEEE
15 years 11 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...
154
click to vote
EUROCRYPT
2004
Springer
15 years 10 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...
128
Voted
ESOP
2003
Springer
15 years 10 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...
138
Voted
TARK
2007
Springer
15 years 11 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...
127
Voted
ISPEC
2009
Springer
16 years 4 days ago
2009
Springer
