1190 search results - page 105 / 238 » Secure off-the-record messaging |
168
click to vote
ICDCS
2007
IEEE
16 years 22 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
138
click to vote
CCS
1994
ACM
15 years 10 months ago
1994
ACM
Computational e-mail systems, which allow mail messages to containcommandscripts that automaticallyexecute upon receipt, can be used as a basis for building a variety of collabora...
145
click to vote
ACSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...
176
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
A key agreement protocol is utilized in a network system such that two users are able to establish a commonly shared secret key. Entities within the same security level can commun...
199
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...