位置：成果数据库 > 期刊 > 期刊详情页
Dierential Privacy in Probabilistic Systems
  • ISSN号：0890-5401
  • 期刊名称：Information and Computation
  • 时间：0
  • 页码：-
  • 相关项目：基于分离逻辑的程序验证方法研究
作者： Jiannan Yang|Yongzhi Cao|Hanpin Wang|
同期刊论文项目
基于分离逻辑的程序验证方法研究
期刊论文 9 获奖 2
同项目期刊论文
Conditionalanonymity with non-probabilistic adversary
基于时序可中断π演算的BPEL和BPEL4People建模
基于模型转换的MARTE顺序图的形式化分析
Minimum guessworkdiscrimination between quantum states