1302 search results - page 18 / 261 » Soundness in the Public-Key Model |
144
click to vote
MMM
2005
Springer
15 years 11 months ago
2005
Springer
An overview of generative sound models is presented. We discuss the benefits they offer in a variety of media contexts including indexing and retrieval, compression, sonification,...
143
click to vote
ESORICS
2007
Springer
16 years 9 days ago
2007
Springer
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
175
click to vote
PKC
2007
Springer
16 years 8 days ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
149
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...
198
click to vote
MOVEP
2000
15 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...