1005 search results - page 123 / 201 » Privacy Preserving Clustering |
169
click to vote
CSFW
2006
IEEE
16 years 13 hour ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
154
click to vote
ACISP
2001
Springer
15 years 10 months ago
2001
Springer
We discuss the availability questions that arise when digital time stamps are used for preserving the evidentiary value of electronic documents. We analyze the time-stamping protoc...
165
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Certificate management infrastructure, a.k.a. PKI (Public Key Infrastructure), which issues and provides access to public key certificates to preserve the integrity of a public ke...
171
click to vote
AUSDM
2006
Springer
15 years 9 months ago
2006
Springer
Data mining is playing an important role in decision making for business activities and governmental administration. Since many organizations or their divisions do not possess the...
165
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...