SMT-based query tracking for differentially private data analytics systems  

作　　者：Chen LUO Fei HE 

机构地区：[1]Tsinghua National Laboratory for Information Science and Technology (TNList),School of Software,Tsinghua University,Beijing 100084,China [2]Key Laboratory for Information System Security,Ministry of Education,Tsinghua University,Beijing 100084,China

出　　处：《Frontiers of Computer Science》2018年第6期1192-1207,共16页中国计算机科学前沿（英文版）

基　　金：supported in part by the National Program on Key Basic Research Project (973Program)(2010CB328003); the National Natural Science Foundation of China (Grant Nos.61672310, 61272001,60903030,91218302); the National Key Technologies R&D Program of China (SQ2012BAJY4052).

分 类 号：TP[自动化与计算机技术]