349 search results - page 5 / 70 » Compositional Security for Task-PIOAs |
EUROCRYPT
2004
Springer
15 years 5 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
13 years 11 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...
111
click to vote
ICSE
2009
IEEE-ACM
14 years 9 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...
120
click to vote
IACR
2011
13 years 11 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
15 years 4 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...