您所在的位置: 首页 >> 学术活动 >> 正文

学术活动

概率系统中的差分隐私性
发布时间:2017-05-21     浏览量:   分享到:


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

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

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

讲座日期:2017-05-21

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

主办单位:8188www威尼斯、图书馆

讲座内容简介:

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年度教育部自然科学二等奖。