218 search results - page 12 / 44 » Preservation of epistemic properties in security protocol im... |
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
ESORICS
2009
Springer
16 years 9 days ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
101
click to vote
CAV
2007
Springer
15 years 3 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
102
click to vote
EUROCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
ESORICS
2005
Springer
15 years 5 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...