Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta. Privacy in Data Mining Using Formal Methods. In Pawel Urzyczyn, editor, Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings. Volume 3461 of Lecture Notes in Computer Science, pages 278-292, Springer, 2005. [doi]
Abstract is missing.