5255 search results - page 355 / 1051 » Formal Methods for Privacy |
116
click to vote
ESORICS
1994
Springer
15 years 9 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
134
click to vote
PKC
2010
Springer
15 years 8 months ago
2010
Springer
Sanitizable signatures allow a designated party, called the sanitizer, to modify parts of signed data such that the immutable parts can still be verified with respect to the origi...
128
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
118
click to vote
EUROPKI
2007
Springer
15 years 8 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
144
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...