8644 search results - page 26 / 1729 » On the Composition of Secure Systems |
CRYPTO
2007
Springer
15 years 1 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
123
click to vote
EUROCRYPT
2010
Springer
15 years 2 months ago
2010
Springer
Imagine many small devices send data to a single receiver, encrypted using the receiver’s public key. Assume an adversary that has the power to adaptively corrupt a subset of the...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
We study the impact of selected parameters on the size of the password space for "Draw-A-Secret" (DAS) graphical passwords. We examine the role of and relationships betw...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
92
Voted
EUROCRYPT
2006
Springer
15 years 1 months ago
2006
Springer
To prove that a secure key-agreement protocol exists one must at least show P = NP. Moreover any proof that the sequential composition of two non-adaptively secure pseudorandom fun...