165 search results - page 8 / 33 » Safely Composing Security Protocols |
56
Voted
LREC
2010
14 years 11 months ago
2010
This paper is concerned with resources for controlled languages for alert messages and protocols in the European perspective. These resources have been produced as the outcome of ...
CTRSA
2006
Springer
15 years 1 months ago
2006
Springer
We construct efficient universally composable oblivious transfer protocols in the multi-party setting for honest majorities. Unlike previous proposals our protocols are designed in...
IPL
2007
14 years 9 months ago
2007
In the secure communication problem, we focus on safe termination. In applications such as electronic transactions, we want each party to be ensured that both sides agree on the s...
CISIM
2007
IEEE
15 years 4 months ago
2007
IEEE
The standard digital signature scheme can be easily subject to key exposure problem In order to overcome this problem; a feasible and effective approach is employed by key-evolving...
TCC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...