Privacy-oriented data mining by proof checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2431 LNAI, Issue , 2002, Pages 138-149

  Felty, Amy ^a   Matwin, Stan ^a,b  

^a UNIVERSITY OF OTTAWA   (Canada)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA MINING;

INDUSTRIAL PRACTICES; PROGRAM PROPERTIES; PROOF CHECKING;

DATA PRIVACY;

EID: 24944568619     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45681-3_12     Document Type: Conference Paper

References (11)

1. D. Agrawal and C. C. Aggarwal. On the design and quantification of privacy preserving data mining algorithms. In Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 247-255. ACM, May 2001. 139
2. R. Agrawal and R. Srikant. Privacy-preserving data mining. In W. Chen, J. F. Naughton, and P. A. Bernstein, editors, 2000 ACM SIGMOD International Conference on Management of Data, pages 439-450. ACM, May 2000. 139
3. G. Barthe, G. Dufay, L. Jakubiec, B. Serpette, and S. Sousa. A formal executable semantics of the JavaCard platform. In European Symposium on Programming, pages 302-319. Springer-Verlag, 2001. 144
4. Y. Bertot. Formalizing a JVML verifier for initialization in a theorem prover. In Computer-Aided Verification, pages 14-24. Springer-Verlag, 2001. 144
5. Electronic Privacy Information Center and Junkbusters. Pretty poor privacy: An assessment of P3P and internet privacy. http://www.epic.org/reports/ prettypoorprivacy.html, June 2000. 138
6. K. Coyle. P3P:pretty poor privacy?: A social analysis of the platform for privacy preferences (P3P). http://www.kcoyle.net/p3p.html, June 1999. 139
7. Information and Privacy Commissioner/Ontario. Data mining: Staking a claim on your privacy. http://www.ipc.on.ca/english/pubpres/papers/datamine. htm#Examples, January 1998. 139
8. D. G. Ries. Protecting consumer online privacy - an overview. http://www.pbi.org/Goodies/privacy/privacy ries.htm, May 2001. 139
9. R. L. Rivest. RFC 1321: The MD5 message-digest algorithm. Internet Activities Board, 1992. 143
10. The Coq Development Team. The Coq Proof Assistant reference manual: Version 7.2. Technical report, INRIA, 2002. 141, 142
11. W3C. Platform for privacy preferences. http://www.w3.org/P3P/ introduction.html, 1999. 139