1779 search results - page 110 / 356 » A Formal Model of Data Privacy |
115
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
120
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
143
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
112
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
126
click to vote
FC
2006
Springer
15 years 8 months ago
2006
Springer
With the increasing importance of correctly handling privacy-sensitive data, significant work has been put in expressing and enforcing privacy policies. Less work has been done ho...