【摘 要】
：
为了解决移动应用平台缺乏权限验证所导致的越权访问问题,研究了一种基于状态机的移动应用越权访问漏洞检测方法。该文为不同角色的用户分别建立各自的有限状态机,并合成出移
【机 构】
：
国网江苏省电力公司电力科学研究院,南京理工大学计算机科学与工程学院
【基金项目】
：
国网江苏省电力公司科技项目资助(J2016022)
论文部分内容阅读
为了解决移动应用平台缺乏权限验证所导致的越权访问问题,研究了一种基于状态机的移动应用越权访问漏洞检测方法。该文为不同角色的用户分别建立各自的有限状态机,并合成出移动应用的完整状态机。在此基础上,通过对完整状态机中的每个请求进行动态重构和执行结果分析实现越权访问漏洞的高效完备测试。选择企业内部移动应用进行实验,结果表明该方法能发现了隐藏的越权访问漏洞。检测方法能被用于准确地识别出越权访问漏洞。
其他文献
城市轨道交通建设中,位于老城区中心的车站由于建筑物密度大、环境较为复杂、施工场地局促等原因,车站的方案在各个阶段也会由于各种各样的限制因素发生不同的变化,因此,选用
行政成本绩效是现代政府绩效评价的核心。其内容应当由经济调节能力、社会管理能力、行政生态环境优化能力和公众满意度四个维度所构成,它以模糊综合评价方法为基础,涵盖了评
根据研究需要,本文选取了评价区域农业竞争力的13项指标,运用因子分析法,对2015年四川省21个地级市(州)区域农业竞争力进行实证分析和综合评价;在此基础上,四川区域农业竞争
随着我国城市化的快速发展，城市中心区发展与交通容量的矛盾日益突出，已成为影响城市的经济社会进步的重要因素。城市中心区是城市的核心地带，是一个城市甚至整个区域的经济、政
国有企业在我国国民经济中仍发挥着决定性作用国家统计局的近期调查表明：仅占我国企业总数２６．８％的国有企业，不仅支撑了我国整个经济的发展，形成了中国经济独有的优势，而且是中国经济发
以提取率为评价指标,采用响应面法优选千里光总黄酮提取工艺,得优选工艺参数为:乙醇浓度62%,提取时间51min,液料比34mL·g-1,在此条件下千里光总黄酮提取率理论值为10.40
海外中共研究的研究对象经历了从"领导人个体"到"体制整体运行"到"社会治理体制"再到"体制微观制度"的直观演变,这种研究对象代际演变背后深层原因,是因为海外中共研究对中国
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
文化是高职院校教学团队聚合与发展的重要因素。根据文化的物质、制度和精神的三个层面的结构,可以通过不同层次探析高职院校教学团队建设的文化规定。当前,高职院校教学团队
针对螺杆式空气压缩机的节能问题进行分析，阐述了空气压缩机工作原理，总结了相应的节能方案，从而降低运营成本，降低能耗。主要内容有改造方案、压力调整以及变频设定压力值和空压