4330 search results - page 132 / 866 » Analyzing security architectures |
151
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— With the increasing demand for secure and high-quality communications in public access wireless IP networks, it is very important to have an in-depth understanding of the relat...
169
click to vote
FORTE
2003
15 years 6 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
124
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
180
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
121
click to vote
ICITA
2005
IEEE
15 years 10 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...