5255 search results - page 295 / 1051 » Formal Methods for Privacy |
119
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
119
click to vote
SP
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
148
click to vote
CSFW
2003
IEEE
15 years 10 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
126
click to vote
ESORICS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. An oblivious signature with n keys (or messages) is a signature that the recipient can choose one of n keys (or messages) to get signed while the signer cannot find out o...
179
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...