论文部分内容阅读
设计出一个安全模型后，要严格验证其是否满足安全需求是非常重要和必要的。利用形式化方法来检验模型是否满足了安全协议是一种有效的手段。本文针对XML重写攻击，设计出了一个反XML重写攻击的安全模型，然后运用Pi演算形式化方法验证了其有效性、真实性和安全性。
基于PI演算的反XML重写攻击安全模型验证
【摘 要】
：
设计出一个安全模型后，要严格验证其是否满足安全需求是非常重要和必要的。利用形式化方法来检验模型是否满足了安全协议是一种有效的手段。本文针对XML重写攻击，设计出了一个
【机 构】
：
中国石油大学计算机与通信工程学院
【出 处】
：
微计算机应用
【发表日期】
：
2008年4期
其他文献
在教与学的过程中，学生与教师都会提出反馈，也会收到反馈。课程应该提供不会让人感到威胁的环境，学生在其中能够向教师和其他学生充分地表达自己。学生需要得到针对他们工作和表
鸡慢性呼吸道疾病又称鸡支原体病，是由支原体引起的一种以呼吸困难、呼吸有哕音、鸡体消瘦为特征的传染病。该病发病快、致死率高，不同鸡种、日龄、性别的鸡，一年四季均可发生，尤
最近，中国大陆风靡一时的美国课件给我们国人简直上了一课，这难道也是一种文化侵略吗？我现在很难回答这个带有政治色彩的问题。如果你去问课件开发者，或者翻译者，我想他们也不会直
本文将首先回顾远程教育的经典定义及基本理论，如Otto Peters的远程教育工业化理论等。这类经典远程教育的实践代表首推广泛使用印刷和广播技术的英国开放大学。传统的远程教
我们生活在一个非同寻常的时代。这个世界以前从来没有像现在这么繁荣，从来没有这么多的人像现在这样健康长寿的活着，我们从来没有见到过如此令人眼花缭乱的技术，也从来没有达到
1 优势与潜力达州市是畜牧大市,主要畜牧业指标位居全省第五位.去年畜牧总产值已达56.15亿元,占农林牧渔业总产值的46%,已接近纯农业产值.
＂基础写作＂是大学基础课程,在推进素质教育中具有特别重要的地位。但是,学生害怕学、老师害怕教,已成为大多数学校的教学状态。本文从积极心理学的角度,对学生作文写作创新原动
放线菌病是牛、马、猪、人易患的一种多菌性慢性传染病，该病以牛多发，其病原为牛放线菌、林氏放线杆菌。其侵袭部位主要集中在头、颈、颌下及乳房部，其中又以颌下发病为多，其原因
本文简述了美国高等教育领域评估教育提供者的几种基本模式及其特征,分析了这些模式的优缺点,并就如何推动我国高等教育评估的发展提出了建议.