【摘 要】
：
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
A simple
【机 构】
：
上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系 上海200030,上海200030
论文部分内容阅读
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
A simple type system with safety level is established for π calculus, and the type reliability of the type system under the protocol semantics is proved.This type of system makes π calculus a universal formalization tool for security system, protocol analysis and specification.
其他文献
第一篇“馅饼”背后是陷阱 近年来,不法分子利用手机发布虚假信息进行诈骗的犯罪 活动日益猖獗,犯罪手段已发展到直接利用手机拨打固定电话, 利用电脑登录公信度较高的网站,
文章针对当前网络管理的发展趋势 ,汲取基于 Web网络管理的优点 ,考虑到网络性能管理的具体应用 ,提出了一种新的基于 Web的分布式网络性能管理系统模型 ,并对其结构和实现进
有因才有果,只有自己去播撒好的种子,存好心、说好话、做好事,才能有好的收成。世事无常,无论是人与人、人与事还是外部的生存环境,变化不过须臾,人处天地间,力量何其渺小,个
小学语文文章中蕴含着许多丰富的情感,在理解文章过程中可以使学生与作者的情感产生共鸣,从而帮助学生更加透彻的理解文章所表达的思想感情,以提高学生学习语文知识效率。并
郝权江,1982年4月出生,中共党员,2004年毕业于皖西学院数学与应用数学专业,中小学一级教师。现任教于江苏省盱眙县盱城镇中心小学。工作10多年来,一直担任中、小学的数学教学
2014年12月27日,大连山东商会一届五次会员大会暨2015年新年联谊会在大连棒棰岛国宾馆召开。上百家企业会员欢聚一堂,同舟共济,共创未来。商会会长武玉成全面总结了2014年度
在我国小康社会建设发展的过程当中,一定是需要加快水利事业发展进程向前推进的速度的,切实的使得水利支持性保证能力得以提升,逐步在我国水资源利用领域中实现可持续发展这
苦难曾痛苦地折磨着她,但苦难更让她得到生活的奖赏——从一名贫困的农妇成长为富甲一方的女老板。一位哲人曾说过:苦难是人生的一笔财富。现年38岁的重庆市贺激乡王坪村农
《征途》并不是一款最好的网络游戏,无论是从技术上或内容上来说,但是从“艾瑞市场研究报告”的分析结果来看,运营一年左右,就可以占网络游戏市场5.2%的市场份额,MMORPG市场7
“明明我的工作一直很努力,业绩不算好也不算太坏,可为什么年终奖我是最少的?”我理直气壮地“质问”老板。“小王,你可别忘了,今年你生病住院可是请了一个月的假,要不是念