5255 search results - page 126 / 1051 » Formal Methods for Privacy |
144
click to vote
ACNS
2003
Springer
15 years 7 months ago
2003
Springer
Pseudonym systems allow users to interact with multiple organizations anonymously by using pseudonyms. Such schemes are of significant practical relevance because it is the best m...
135
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
111
Voted
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture...
134
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
127
Voted
FOSAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...