469 search results - page 17 / 94 » On Adversary Models and Compositional Security |
OOPSLA
2009
Springer
14 years 6 days ago
2009
Springer
Predefined composite operations are handy for efficient software modeling, e.g., for the automatic execution of refactor
WISA
2007
Springer
14 years 1 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
JOC
2007
13 years 7 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...
CRYPTO
2009
Springer
14 years 2 months ago
2009
Springer
We consider two-party quantum protocols starting with a transmission of some random BB84 qubits followed by classical messages. We show a general “compiler” improving the secur...
EUROCRYPT
2006
Springer
13 years 11 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...