谢晖

作品数:1被引量:2H指数:1
导出分析报告
供职机构:西安电子科技大学通信工程学院计算机网络与信息安全教育部重点实验室更多>>
发文主题:串空间形式化分析匿名等价更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《通信学报》更多>>
所获基金:中央高校基本科研业务费专项资金国家自然科学基金国家科技重大专项更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
基于串空间的匿名形式化分析扩展被引量:2
《通信学报》2011年第6期124-131,共8页董学文 牛文生 马建峰 谢晖 毛立强 
国家科技部重大专项(2011zx03005-002);国家自然科学基金资助项目(61072066;60872041);中央高校基本科研业务费专项资金资助(JY10000903006;JY10000903012;JY10000903001;JY10000901034)~~
为了使串空间满足匿名性分析的特殊需求,利用串空间丛消息解析等价技术,结合观察视角,分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点,定义出不同的关系匿名性,在此基础上扩展并完善了基于串空间的匿名性形式化框架。同时,定...
关键词:串空间 匿名协议 等价丛 匿名程度 
检索报告 对象比较 聚类工具 使用帮助 返回顶部