5488 search results - page 356 / 1098 » On the Secure Implementation of Security Protocols |
170
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
224
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Collaborative spectrum sensing has been regarded as a promising approach to enable secondary users to detect primary users by exploiting spatial diversity. In this paper, we con...
193
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
The man-in-the-middle (MITM) attack has been shown to be one of the most serious threats to the security and trust of existing VoIP protocols and systems. For example, the MITM wh...
197
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
159
click to vote
ECR
2006
15 years 6 months ago
2006
In this paper, we present a novel protocol, called Distributed Signcryption with Verifiable Partial Signature (DiSigncryption) protocol, to allow an agent owner to securely distrib...