Sciweavers

5255 search results - page 118 / 1051
» Formal Methods for Privacy
Sort
View
115
Voted
FSKD
2008
Springer
136views Fuzzy Logic» more  FSKD 2008»
15 years 4 months ago
k-Anonymity via Clustering Domain Knowledge for Privacy Preservation
Preservation of privacy in micro-data release is a challenging task in data mining. The k-anonymity method has attracted much attention of researchers. Quasiidentifier is a key co...
Taiyong Li, Changjie Tang, Jiang Wu, Qian Luo, She...
97
Voted
FM
2009
Springer
115views Formal Methods» more  FM 2009»
15 years 10 months ago
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
André Platzer, Edmund M. Clarke
103
Voted
FMICS
2007
Springer
15 years 9 months ago
Automatic Interoperability Test Case Generation Based on Formal Definitions
Alexandra Desmoulin, César Viho
IFM
2007
Springer
15 years 9 months ago
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi