Amy P. Felty, Stan Matwin. Privacy-Oriented Data Mining by Proof Checking. In Tapio Elomaa, Heikki Mannila, Hannu Toivonen, editors, Principles of Data Mining and Knowledge Discovery, 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings. Volume 2431 of Lecture Notes in Computer Science, pages 138-149, Springer, 2002. [doi]
Abstract is missing.