3811 search results - page 180 / 763 » The Safe-Tcl Security Model |
178
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
140
click to vote
STORAGESS
2005
ACM
16 years 2 days ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
141
click to vote
ICALP
2005
Springer
16 years 1 days ago
2005
Springer
At TCC 2005, Backes and Cachin proposed a new and very strong notion of security for public key steganography: secrecy against adaptive chosen covertext attack (SS-CCA); and posed ...
213
click to vote
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
160
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...