5255 search results - page 349 / 1051 » Formal Methods for Privacy |
141
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
161
click to vote
ACISP
2007
Springer
15 years 11 months ago
2007
Springer
The identity of “Deep Throat”, a pseudonym of the information source in the Watergate scandal, remained mysterious for more than three decades. In 2005, an ex-FBI official cla...
119
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
157
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
121
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...