3115 search results - page 244 / 623 » Synthesizing Secure Protocols |
213
click to vote
TCC
2012
Springer
14 years 1 months ago
2012
Springer
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...
138
click to vote
ACNS
2004
Springer
15 years 11 months ago
2004
Springer
A family of authenticators based on static shared keys is identified and proven secure. The authenticators can be used in a variety of settings, including identity-based ones. App...
135
Voted
ICICS
1997
Springer
15 years 9 months ago
1997
Springer
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...
150
click to vote
CASCON
2006
15 years 7 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
146
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...