讲座题目：概率系统中的差分隐私性

讲座人:曹永知  北京大学信息科学技术学院教授

讲座时间：10:00-11:30

讲座日期：2017-05-21

讲座地点：长安校区 图书馆西附楼学术报告厅

主办单位：必赢线路检测中心、图书馆

讲座内容简介：

Differential privacy has been an increasingly hot topic in academic, ever since proposed by Dwork, to protect the privacy of every single indi-vidual. Although there are a large number of works on it, few attempts have been made on reasoning about differential privacy at a system le-vel that considers differential privacy for continual observation and several parts of the system as a whole. In this talk, we introduce a formal 

framework to verify differential privacy in the context of probabilistic systems.We model probabilistic systems by probabilistic labeled trans-ition systems and formalize differential privacy by the ratio of the probabilities in the distributions after the same labeled transitions of releva-nt states. Furthermore, we propose a two-level logic, a privacy variant of the familiar Hennessy-Milner logic, to characterize differential priva-cy in our framework, which gives an approach to measuring the distance in the infimum metric logically. Our results have close relations to pr-

obabilistic bisimilarity as well.  

讲座人简介：

曹永知，北京大学信息科学技术学院教授，博士生导师，IEEE高级会员。2003年于北京师范大学数学系获得理学博士学位，随后进入清华大学从事博士后研究，2007年博士后出站入职北京大学。目前主要从事形式化方法及其应用研究，包括移动系统，Petri网，形式语言与自动机理论，不确定性推理，隐私性与安全性等。在IEEE  Trans. Comput., IEEE Trans. Autom. Contr., IEEE Trans. Syst., Man, Cybern.—Part B: Cybern., IEEE Trans. Fuzzy Syst., Inform. Comput., J. Comput. Syst. Sci.等杂志或会议发表学术论文40余篇，其中SCI国际期刊论文30余篇。曾获得2014年度教育部自然科学二等奖。