5255 search results - page 347 / 1051 » Formal Methods for Privacy |
131
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...
155
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
127
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
111
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
161
click to vote
PROVSEC
2009
Springer
15 years 11 months ago
2009
Springer
Signcryption is a cryptographic primitive that provides authentication and confidentiality simultaneously in a single logical step. It is often required that multiple senders have...