526 search results - page 44 / 106 » A Z Based Approach to Verifying Security Protocols |
SP
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
JDCTA
2010
13 years 2 months ago
2010
In wireless ad hoc networks environment, Bellovin and Merritt first developed a password-based Encrypted Key Exchange (EKE) protocol against offline dictionary attacks using both ...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
SP
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper, we describe a novel approach to scalable group re-keying for secure multicast. Our approach, which we call Kronos, is based upon the idea of periodic group re-keyin...