- 1、本文档共7页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
基于进程代数安全协议验证的研究综述_李梦君精选
4 1 7 Vol4 1, No7
2004 7 JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT July 2004
李梦君 李舟军 陈火旺
( 4 10073)
( mengjunli@ 163com)
, ,
4 : ; ; ;
; ; ; ;
TP30
A Survey of Security Protocol Verif ication Based on Process Algebra
LI Meng-Jun, LI Zhou-Jun, and CHEN Huo-Wang
( School of Comp uter Science, N ational University of Def ense Technology, Changsha 410073)
Abstract Security protocols are used to provide secure communication over open networkProcess algebra
refers to those algebraic approaches to the study of communication and concurrency systemsT he verifica-
tion methods based on process algebra are the important verification methods of security protocols The
main verification methods based on process algebra of security protocols are presented in this paperFinally
the possible new directions of security protocols verification are also stated
Key words process algebra; security protocol; formal verification; secrecy; authentication
20
1 80
3 :
11 ( belief logic)
, ,
,
,
, :
[ 1, 2] ,
; FDR, STA, SPIN, SMV
, ,
,
, [ 3, 4] ;
,
- - - -
: 2003 05 0 ; : 2003 10 13
: ( 0104026, ; ( 2002AA144040)
10 8 2004
[ 5]
, m, D Y( m )
[ 6, 7] m, ( m) m ,
, CSP, CCS, , Dolev-Yao :
: ,
您可能关注的文档
- 基于柔性角度分析高新技术企业R&D财务管理精选.doc
- 基于无线传感器网络鸡舍环境自动控制硬件设计精选.ppt
- 基于杜邦分析法的光线传媒公司盈利能力分析研究精选.doc
- 基于校企融合的“1126”师资团队建设工程纪实-市职业教育创新发展研讨会论文精选.doc
- 基于有向图的城市交通堵塞模型精选.ppt
- 基于标准的教学设计(第7稿)精选.doc
- 基于旅游客流的跨界旅游区空间网络结构优化——以泸沽湖为例精选.pdf
- 基于格网数据的巢湖流域洪涝灾害损失评估精选.pdf
- 基于样条插值方法的干旱半干旱区植被根系层土壤水分特性的研究(新2)精选.doc
- 基于校本实践的高职大学生素质教育体系建构精选.pdf
- 360 1+x证书复习题及参考答案.docx
- 2025第三届全国技能大赛海南省选拔赛-糖艺(西点)制作(世赛选拔)项目技术文件.pdf
- 中级育婴员试题库(含参考答案).docx
- 电子商务专业综合技能模拟题(附答案).docx
- 2025第三届全国技能大赛海南省选拔赛-网络安全(世赛选拔)项目技术文件.pdf
- 2025第三届全国技能大赛海南省选拔赛-网络系统管理(世赛选拔)项目技术文件.pdf
- 2025第三届全国技能大赛海南省选拔赛-网站技术(世赛选拔)项目技术文件.pdf
- 高级财务管理模拟考试题与参考答案.docx
- 汽车维修工5级模拟考试题(附参考答案).docx
- 四级反射疗法师模拟考试题含参考答案.docx
文档评论(0)