2705 search results - page 250 / 541 » Privacy in Data Mining Using Formal Methods |
198
click to vote
ESORICS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
207
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
326
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Most of today's structured data is stored in relational databases. Such a database consists of multiple relations which are linked together conceptually via entity-relationsh...
179
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
148
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...