Privacy in data mining using formal methods

DOI10.1007/11417170_21MaRDI QIDQ5704016zbMATH OpenOpenAlexFDO

Authors Stan Matwin, István T. Hernádvölgyi, Venanzio Capretta, Amy P. Felty

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b135690

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Privacy-oriented data mining by proof checking
• A formal model of data privacy
• Privacy preserving data mining
• Data and Applications Security XIX
• Negotiated privacy

Cited in

(5)

• Formalizing data deletion in the context of the right to be forgotten
• Formal models for consent-based privacy
• Privacy-oriented data mining by proof checking
• Diagrammatically Formalising Constraints of a Privacy Ontology
• A formal analysis of information disclosure in data exchange

Describes a project that uses

Uses Software

• Coq
• KRAKATOA

This page was built for publication: Privacy in data mining using formal methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5704016)