234 search results - page 23 / 47 » Evolving Messaging Systems for Secure Role Based Messaging |
IH
2005
Springer
14 years 1 months ago
2005
Springer
We study the effect compulsion attacks, through which an adversary can request a decryption or key from an honest node, have on the security of mix based anonymous communication s...
ACMICEC
2003
ACM
14 years 1 months ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
CSFW
2002
IEEE
14 years 23 days ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
BROADNETS
2005
IEEE
14 years 1 months ago
2005
IEEE
- In this paper, we study and quantify the impact of the most widely used security protocols, such as 802.1x, EAP, IPSEC, SSL and RADIUS, in wireless local area networks (WLANs). B...