论文部分内容阅读
安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。
基于Petri网的安全协议分析
【摘 要】
：
安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。
【机 构】
：
安徽工业大学计算机学院,
【出 处】
：
网络安全技术与应用
【发表日期】
：
2008年11期
其他文献
6000万收视群体宣告中国第一导视频道试水成功 CCTV《电视指南》频道于2004年11月正式开播，由中数传媒创办。作为试水国内导视产业的首个全国性电视频道，《电视指南》频道开播伊始便表现出了强大的生命力。 随着全国性数字电视整体平移的稳步推进，中国电视频道数字化将成为不可逆转的媒体变革浪潮，中国数字付费电视内容生产自2004年开始，短短两年多能量急剧释放，仅仅中央数字电视节目平台上集成的
现代社会竞争激烈，快节奏、高压力的生活成为困扰现代人健康抹不去的阴影，由此而引发的英年早逝者屡见不鲜。于此，世界各国的科学家提出了“慢生活”方式。当然，这里所说的“慢生活”是一种积极的生活方式，是一种健康的心理状态。慢呼吸。从表面上看，似乎人人都会呼吸，人人都在呼吸，但真正能通过科学地呼吸而使自己的寿命达到正常生理寿限的人却寥寥无几。可见，呼吸之道大有学问。科学的呼吸，就是要求通过对各种呼吸方法(
中医认为，排便的过程是依赖大肠的传导功能来完成的，而大肠的传导功能正常与否又取决于肠道的润涩程度及与之相关的脏腑功能是否正常。若劳倦、饮食内伤，或病后以及年老体弱之人，气血两亏、气虚则大肠失去传送能力，血虚则津枯不能滋润大肠。如果病久则肾阴、肾阳亏损，肾阴一亏，则肠道更加失润而干枯；肾阳一亏，就不能蒸化津液，温润肠道。两者均可导致排便困难，甚至失通。这都是由虚引起的便秘，由此可见，虚性便秘与肾密切
“安慰剂”也能斗病魔？ 家住纽约的乔安娜，最近一直被失眠症所困扰。医生给她开了一小瓶药，说是效果很好。告诉她只要每天睡觉前1小时吃一片，肯定能睡好。结果开始服药的头天晚上，她很快就睡着了，此后，就每天都提醒自己按时服药。但终于有一天，她出门旅游时忘了带药，又重新陷入了失眠的痛苦。回纽约后，乔安娜又找到原来给她看病的医生，说她担心自己依赖上这种小药片了。但没听她说完，医生就哈哈大笑。医生认真地告诉
实例：打牌赔掉一只眼 60多岁的王老伯退休后，为了消磨时间，迷上了打扑克牌，不久前的一个周末，王老伯和几个“牌搭子”从中午一直玩到凌晨。正当大家意犹未尽的时候，王老伯突然觉得左眼一下子什么都看不见了。“可能是太累了，老眼昏花了，回去休息一下就没事了。”放下牌，王老伯便回家睡觉去了。第二天早晨醒来，王老伯的左眼依然什么都看不见。这下，他着急了，连忙在儿子陪同下去医院看病。医生替王老伯检查了眼底后，
大葱蘸酱不仅风味独特，而且不会发胖，说大葱蘸酱越吃越胖，其实是因为大葱含有刺激性气味的挥发油和辣素，能去除腥膻等油腻厚味菜肴中的异味，产生特殊香气，刺激了消化液的分泌，又增进食欲的作用。 大葱一年四季可食，春天的葱尤其鲜美。大葱富含钙、磷和维生素等，葱中含有丰富的维生素C，有舒张小血管、促进血液循环的作用。大葱不仅具有促进食欲的作用，还有防病健身、减肥等方面功能。中医认为大葱味辛性温，有发表、通