位置：成果数据库 > 期刊 > 期刊详情页
基于可达关系的安全协议保密性分
  • 期刊名称：计算机学报，30（2），2007
  • 时间：0
  • 相关项目：基于进程代数的电子商务协议形式化研究
作者： 顾永跟
同期刊论文项目
基于进程代数的电子商务协议形式化研究
期刊论文 16 会议论文 11
同项目期刊论文
Tissue P Systems with Parallel
基于SPi演算的SSL3.0安全协议仿
基于GSPM的安全协议鲜性分析
Error estimation of perturbati
Fair ambients
基于进程演算和知识推理的安全协
A general approach for buildin
基于可达关系的安全协议保密性分析
安全协议匿名性形式化分析
基于进程演算和知识推理的安全协议形式化分析
基于类pi演算的电子支付协议安全性形式化研究
基于GSPM的安全协议新鲜性分析
用P系统解决排序问题
Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
Barbed Congruence of Asymmetry and Mismatch