2575 search results - page 18 / 515 » Providing security with insecure systems |
104
click to vote
ISW
2004
Springer
15 years 5 months ago
2004
Springer
Signcryption is a new cryptographic primitive that performs signing and encryption simultaneously, at a cost significantly lower than that required by the traditional signature-th...
COMCOM
1999
14 years 11 months ago
1999
Dispute of transactions is a common problem that could jeopardise business. Hence non-repudiation services are essential in business transactions which provide evidence to enable ...
107
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
SISW
2005
IEEE
15 years 5 months ago
2005
IEEE
Files or even their names often contain confidential or secret information. Most users believe that such information is erased as soon as they delete a file. Even those who know...
CRYPTO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Assuming an insecure quantum channel and an authenticated classical channel, we propose an unconditionally secure scheme for encrypting classical messages under a shared ...