1779 search results - page 159 / 356 » A Formal Model of Data Privacy |
132
click to vote
SP
1998
IEEE
15 years 9 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
156
click to vote
ESORICS
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
133
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
143
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
134
click to vote
ACISP
2010
Springer
15 years 6 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...