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