【摘 要】
：
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协
【机 构】
：
北京航空航天大学计算机科学与工程系
论文部分内容阅读
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质.该协议模型描述了一种"协同攻击"模式
其他文献
大理州在推行政务公开，打造阳光政府过程中，探索出“政府信息直通车”的形式，以建立一个平台为基础，重视建设好一支队伍，收到良好效果。
根据作者提出的螺旋理论规律＾［１］，可以计算光学活性肌醇的旋光方向和旋光度大小。肌醇分子内在的３６个二面角螺旋旋光度的代数和再乘以常数２．０就是该肌醇的摩尔旋光度。
【正】人们常说,“粗茶淡饭延年益寿”,那么粗茶淡饭到底是什么?营养学家研究发现,它并非大多数人所指的各种粗粮和素食。正确的理解应是以植物
巍山县按照“公开村务、透明办事、接受监督、规范管理”的方针，紧密结合村级组织管理工作的新特点，在全县83个村级组织中实行村务管理“五薄”登记制。
“国粹”之一的京剧，自乾隆五五年（1790年）在我国南方演出的三庆、四喜、春台、和春四大徽班相继进入北京后，以西皮、二黄为主要唱腔的徽调和汉调、昆腔、秦腔等地方民间曲调相互
本文叙述了鸠摩罗什一生的经历，以及对佛教的贡献和对日本佛教的重大影响。并结合考古材料，考察了鸠摩罗什的母亲的人种问题。
近年来，云南省供销社系统坚持在改革中创新，在实践中探索，在服务中发展，走出了一条以发展“两社一会”、实施“四进村、五个有”、推进“乡村流通工程”建设为重点的供销社“二次
根据中国卫星地球重力场模型ＩＧＧ９３Ｅ，计算出新疆地区同阶窗的卫生重力异常和分层面密度异常，并对异常场源深度进行讨论，同时，利用计算结果结合其它地政治协商会议物理资料，综合分析新疆地
1936年6月30日《救同时报》发表《民族英雄杨靖字》一文。文中说：“杨靖字与赵尚志、王德泰等成为东北人民惟一有希望、有信仰的能有把握收复失地的民族英雄”、“杨司令是东
江川县积极探索扩大党内民主，切实保障党员的民主权利，强化党员的主体地位。一是积极推行党务公开。采取先试点、后推广的方法，在全县各基层党建示范点开展基层党务公开试点工作