5255 search results - page 277 / 1051 » Formal Methods for Privacy |
127
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Email List Services (or simply, mailing lists) are becoming increasingly common for collaborative computing. In order to enable their use for official purposes with increased effe...
138
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
139
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
126
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
166
click to vote
FOSAD
2000
Springer
15 years 8 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...