【摘 要】
：
Kerberos 认证是云计算安全采用的信息安全技术之一，对 Kerberos 协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具 SPEAR Ⅱ对
【机 构】
：
国防科学技术大学电子科学与工程学院
论文部分内容阅读
Kerberos 认证是云计算安全采用的信息安全技术之一，对 Kerberos 协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具 SPEAR Ⅱ对 Kerberos 协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点，在此基础上提出推理假设，然后通过 SPEAR Ⅱ中基于 Prolog 的分析引擎从协议假设条件推导到协议目标。结果表明，Kerberos 协议可以抵抗窃听和重放攻击，保护合法用户密钥的安全，但在篡改攻击下，若信
其他文献
周围神经病的病因有代谢、中毒、感染、变性、遗传、外伤及肿瘤等.治疗上可有三种方式:第一,病因明确,用逆转其病理生理过程的病因治疗;第二,应用刺激神经代谢和促进神经再生
如何管好社区、促进社区文明和谐建设，提升物业管理服务质量和水平，使物业管理服务工作符合茂名石化和广大业主住户的期望，必须增强敬业意识，努力提高专业水平，尽责有为把物业管理
旨在解决微型合成孔径雷达（miniature synthetic aperture radar,MiniSAR）实时成像处理系统级的关键问题。首先给出了MiniSAR的特点及因其产生的设计问题,分析了高分辨率指标下
不同于离家出走、被人绑架这类不知什么原因而杳无音信的失踪，这里的失踪是说：在这个世界上消失了，就是这个人突然化为虚无，完全不存在了，这可能吗？有人说是被外星人带走了，也有人说
功能性消化不良（Functional Dyspepsia,FD）系指具有慢性或复发性消化不良症状,持续至少4周以上,而各种客观检查未能发现器质性疾病,如消化性溃疡、反流性食管炎、恶性肿瘤、胰
<正> 80年代,随着生物化学、免疫学技术和方法的发展和应用,各种复杂的血吸虫抗原的提取、分离、纯化及鉴定都已取得了巨大进展.近10余年来,国内外学者特别是在免疫诊断方面,
2014年工作回顾 过去一年，在市委市政府和区委的正确领导下，在区人大和政协的监督支持下，宝安区深入贯彻落实党的十八届三中、四中全会和习近平总书记系列重要讲话精神，积极抢抓
“鹦鹉螺号”深潜器非常擅长水下搜寻。它曾于1987年、1993年、1994年、1996年和1998年多次对泰坦尼克沉船进行了探测。“鹦鹉螺号”还被多次用于搜寻、找回海上失事飞机残骸
香喷喷的美餐，这个是我的最爱。不过，假如代价是……悬挂在50米的高空（相当于十几层楼的高度），你还愿意尝试吗？想想吧，吃饭时，餐馆随风飘来飘去，一低头就能看到下面仰头观看的人群，胆子
本文比较43例甲型病毒性肝炎(简称甲肝)与38例急性期乙型病毒性肝炎(简称乙肝)血清中脂蛋白-X(Lp-X)平均含量,结果有非常显著差异(P<0.0005);而两者Lp-X阳性率间无差异(P>0.1