718 search results - page 4 / 144 » Security protocols, properties, and their monitoring |
91
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
ESSOS
2010
Springer
15 years 6 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
ICICS
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
ACISP
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we examine a classification of conference key distribution protocols proposed in [4] and show that no known protocol satisfies the security requirements in class 4...
63
Voted
TARK
2005
Springer
15 years 3 months ago
2005
Springer
