【摘 要】
：
为使用户信任安全系统,保证OAuth2.0协议的有效实施,提出对OAuth2.0协议进行详细的安全性分析。通过对Scyther的研究和OAuth2.0协议的分析,形式化验证OAuth2.0协议的安全性。
【机 构】
：
中国航天科工集团第二研究院706所
论文部分内容阅读
为使用户信任安全系统,保证OAuth2.0协议的有效实施,提出对OAuth2.0协议进行详细的安全性分析。通过对Scyther的研究和OAuth2.0协议的分析,形式化验证OAuth2.0协议的安全性。将OAuth2.0协议标准转化为Scyther的形式化语义,分析协议的安全目标,将安全目标转化为安全属性,与形式化语义相结合,利用Scyther的对手模型和基于模型的改进算法进行安全性形式化分析。结合实例分析协议角色执行轨迹,得到协议的攻击路径。
其他文献
网络舆情传播过程中,媒体具有促进作用,并会影响其中涉及的事件、人物等多个方面,对社会舆论发展做出影响。为能保证社会舆论导向正确,传播网络舆情时,媒体必须要加强自身的
公共设施是人与人交流的公共环境中必不可少的公共设置,是城市设计的重要组成部分,是反映城市文明的标志,随着时代进步,公共设施在城市的发展中发挥越来越重要的作用。在多元
为了提高教务管理的效率和安全性,利用ASP.NET技术对教务管理系统进行优化设计,并根据教务管理功能和业务流程分析,对学生端、教师端和后台管理端进行子模块的优化设计。系统
特吕茨施勒公司拥有约3000名全球员工,是世界领先的纺织机械制造商之一,专注于纺纱、非织造布和人造纤维行业的设备、装置和配件。集团总部位于德国,发展至今,已有130多年的
【背景】我们先前在研究胃癌多药耐药的分子机制中,发现朊蛋白(PrPc)与胃癌耐药表型密切相关,但其具体机制有待于进一步研究。PI3K/Akt途径通过改变下游分子的磷酸化状态直接
<正>今年以来,我市接连发生了好几起未成年人涉嫌故意伤害致人死亡、抢劫、聚众斗殴的团伙犯罪案件,引起了一直以来关心青少年成长的笔者重视。近日,笔者对2007年至今年4月我
目的：分析在调强放射治疗(IMRT)靶区勾画与计划制定期间鼻咽癌肿瘤体积的变化及其影响因素。材料与方法：2005年3月至2007年4月，49例经病理证实的初治鼻咽癌患者在我院接受调强放
目的:观察Snail mRNA及其蛋白、E-cadherin蛋白在胃癌组织中的表达及其与胃癌临床病理特征的关系,并探讨它们在胃癌发生、发展中的作用及其临床应用价值。方法:收集96例手术
<正>随着我国人事制度的改革不断深入,人才服务机构的运作模式正逐渐趋于企业化和市场化。人才作为社会经济活动中最活跃的因素之一,其供求关系。流动特点以及市场对人才自身
在针对用户标签的个性化推荐中,为解决因热门标签和资源所导致的标签推荐准确性不足的问题,文章提出了一种融合时间权重的张量分解模型,通过对用户标注标签事件的时间信息建