登录
注册
全部
期刊
图书
学位论文
会议论文
专利
多媒体
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
当前位置：
平台首页
/
会议论文
/
中文
基于进程演算的安全协议形式化分析
更新时间：2019-05-21
访问次数：
作者：
顾永跟
，
傅育熙
，
朱涵
，
吕银华
作者联系方式：
顾永跟,傅育熙,朱涵(上海交通大学计算机系,上海,200030)吕银华(贵州大学计算机系,贵阳,550025)
关键词：
网络安全
，
安全协议
，
程序设计
，
进程演算
会议名称：
2005年全国理论计算机科学学术年会
会议地点：
秦皇岛
召开年：
2005
摘要：
本文介绍了安全协议和进程演算的一些基本知识,探讨和分析了基于进程演算分析安全协议的各种方法,以及将来的发展方向.
推荐内容
论西部可持续发展中的生态补偿问题
倒张拱悬索桥非线性组合有限元理论
非晶态Ni-Cu-P合金镀层的结构及性能研究
热门内容
尖锐湿疣HPV的分型及宫颈阴道脱落细胞和疣组织中HPV检测的比较
阴茎医源性损伤的急救及远期修复
非晶态Ni-Cu-P合金镀层的结构及性能研究
乳房受区脂肪移植术后并发症的回顾性研究
论西部可持续发展中的生态补偿问题
倒张拱悬索桥非线性组合有限元理论
国土资源信息系统建设方法的新模式探讨
季铵化聚4-乙烯吡啶衍生物与葫芦脲[6]的超分子自组装及性质研究
