349 search results - page 5 / 70 » Compositional Security for Task-PIOAs |
EUROCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...
IACR
2011
12 years 9 months ago
2011
In this paper, we explore a general methodology for converting composite order pairingbased cryptosystems into the prime order setting. We employ the dual pairing vector space app...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
IACR
2011
12 years 9 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...