5255 search results - page 356 / 1051 » Formal Methods for Privacy |
115
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The basic idea behind delegation is that some active entity in a system delegates authority to another active entity in order to carry out some functions on behalf of the former. ...
144
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
129
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
132
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Searchable symmetric encryption (SSE) allows a party to outsource the storage of his data to another party in a private manner, while maintaining the ability to selectively search...
143
Voted
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...