3504 search results - page 123 / 701 » Secure protocol composition |
130
Voted
JLP
2008
15 years 4 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
112
click to vote
CSI
2008
15 years 4 months ago
2008
This paper presents a new fair document exchange protocol based on bilinear pairing with off-line trusted third party (TTP). In such a fair exchange scenario, each party owns a va...
122
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
161
click to vote
ISW
2010
Springer
15 years 2 months ago
2010
Springer
We analyze the Extended Access Control (EAC) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Security (BSI) for the deploym...
159
click to vote
TKDE
2002
15 years 4 months ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...