论文部分内容阅读
相对于以往的非形式化分析,文章对互联网密钥交换(IKE)协议的匿名特性进行了基于CSP方法的形式化分析,并提出了新的改进建议.与其他文献只能保护单方身份的改进方法相比,该改进方法能够同时保护双方的身份.
互联网密钥交换协议匿名特性的CSP分析及改进
【摘 要】
：
相对于以往的非形式化分析,文章对互联网密钥交换(IKE)协议的匿名特性进行了基于CSP方法的形式化分析,并提出了新的改进建议.与其他文献只能保护单方身份的改进方法相比,该改进方法能够同时保护双方的身份.
【机 构】
：
北京大学,信息科学技术学院,北京,100871
【出 处】
：
第一届中国可信计算与信息安全学术会议
【发表日期】
：
2004年4期
其他文献
1955年后,日本国内逐渐形成了后被称为“五五年体制”的政党格局:其特征主要是保守党派与革新党派的意识形态对立,同时保守的自民党始终保持一党执政地位,由革新的社会党等在
根据粒子物理标准模型，在定态微扰论的框架中，采用两体Ｂｒｅｉｔ势计算了双轻子束缚态谱与带色的夸克－轻子准束缚态谱。利用轻子质量与夸克流质量的经验值，得到了处于基态的束缚态或准束缚
自2008年试点成立以来,江苏小贷公司发展已经快十个年头,在省政府金融办领导下,小贷公司践行服务三农和小微企业的使命,为全省经济平稳发展提供有力支撑,初步实现扶持小微企
随着时代的发展,人物画中女性题材受到高度重视。从古至今塑造研究女性形象的画家此起彼伏,女性题材工笔画具有其独特的意义与价值。女性题材的工笔画不仅是各个朝代文化发展的象征更是人类文明的见证。女性在情感上和服饰中的多样化使得女性题材工笔画在各类题材的画作中脱颖而出,成为一个热门的绘画题材屹立在画坛之中,广泛受到当代艺术家的关注。随着时代的进步、绘画领域的发展,当代人们对审美的需求也在不断提高,单纯的绘
就非电活性气体ＣＯ２检测所遇到的若干电化学问题，诸如ＣＯ２电的和直接电流法测定，Ｏ２的干扰以及ＣＯ２和Ｏ２气体的同时检测等，进行了系统的研究，先后提出并建立了微电流法，耗尽电解除氧法，调制电位脉冲－电
城市轨道交通工程在施工过程中,不可避免地存在质量安全风险问题,因此,城市轨道交通工程的施工必须立足于质量安全风险管理的研究。以合肥地铁四号线淮海大道站施工过程中所
废水除磷是控制水体富营养化的重要途径。较传统除磷,吸附法不仅可降低水中磷酸盐浓度至更低水平,而且有简单经济等优点,成为近年来的研究热点。为了探明吸附法除磷的机理,分
伴随电力行业供给侧改革和市场化改革的推进,电力行业竞争日趋激烈。企业只有提高内部管理水平和经营效率才能保持竞争优势。而财务风险管理作为企业内部管理工作的核心,经常会受到企业内外部环境因素影响。因此,依据企业自身情况和外部环境变化制定行之有效的财务风险评级体系和控制措施具有重要意义。本文以S电力为研究对象,通过对其各项财务指标进行分析,发现S电力现行的财务风险评价体系由于存在评价过程欠缺独立性、不能
"客观说"和"建构说"是研究课业负担原因的两类取向。基于2014年北京中小学生的实证调查数据,建立了囊括"客观说""建构说"的Logistic多项回归模型。模型的结果证实了基于"客观
作为非线性多值椭圆型方程的一个模型，讨论了一类多值拟线性椭圆型微分方程边值问题，给出了它的解的定义，证明了它的解及其近似解的存在性，以及近似解的收敛性，在数值实例中，还给出