352 search results - page 4 / 71 » Cryptography in the Multi-string Model |
PATMOS
2007
Springer
14 years 3 months ago
2007
Springer
CSFW
2011
IEEE
12 years 9 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
SAFECOMP
2005
Springer
14 years 3 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
NDSS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this work we revisit and formally study the notion of proxy cryptography. Intuitively, various proxy functions allow two cooperating parties F (the “FBI”) and P (the “pro...