位置：成果数据库 > 会议 > 会议详情页
An off-line Anonymous Digital-
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：基于进程代数的复杂安全协议的形式化分析与验证
作者： Zhang Ling(*), Yin Jian Ping,
同会议论文项目
基于进程代数的复杂安全协议的形式化分析与验证
期刊论文 36 会议论文 8
同项目会议论文
An abstract and refinement fra
An Overlay Optimization Algori
A structure Fairnes Based on G
A Detection and Offense Mechan
Constraints Solution for Time
A Description Logic Framework
Formal Analysis of NetBill and