3115 search results - page 384 / 623 » Synthesizing Secure Protocols |
175
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
169
click to vote
AFRICACRYPT
2010
Springer
16 years 1 months ago
2010
Springer
Modern multi-user communication systems, including popular instant messaging tools, social network platforms, and cooperative-work applications, offer flexible forms of communica...
149
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
177
click to vote
ADHOCNOW
2005
Springer
16 years 4 days ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
159
click to vote
ADVIS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, a practical and secure e-mail system (called “PractiSES”) that performs public key distribution and management in a unique way is proposed. PractiSES is a networ...