2472 search results - page 109 / 495 » Parallel Key Exchange |
115
Voted
CONEXT
2007
ACM
15 years 6 months ago
2007
ACM
Pocket Switched Networks (PSN) is a novel communication paradigm which aims to exploit the opportunistic contacts between mobile devices to exchange data over multiple hops. A key...
151
click to vote
CSFW
1995
IEEE
15 years 6 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
103
Voted
CSREASAM
2006
15 years 4 months ago
2006
- This paper analyzes the secure protocols in the digital transmission copy protection (DTCP) specification. The full authentication protocol in the specification is a combination ...
106
Voted
DGO
2003
15 years 4 months ago
2003
Software for encrypting email messages has been widely available for more than 15 years, but the emailusing public has failed to adopt secure messaging. This failure can be explai...
98
Voted
ENTCS
2006
15 years 2 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...