3821 search results - page 6 / 765 » A Security Model for Aglets |
ICASSP
2011
IEEE
2011
IEEE
Analysis of the security of linear blinding techniques from an information theoretical point of view
12 years 11 months ago
We propose a novel model to characterize the security of linear blinding techniques. The proposed model relates the security of blinding to the possibility of estimating the blind...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
CSFW
1999
IEEE
13 years 11 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
ESORICS
2012
Springer
11 years 9 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
IEEEARES
2008
IEEE
14 years 1 months ago
2008
IEEE