基于策略推导的访问控制漏洞测试用例生成方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:yjj_2323
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web应用已经成为越来越流行的信息传输媒介.为了保护重要信息不被泄漏,许多Web应用设计了针对不同角色不同用户的访问控制机制.然而由于不完善的访问控制机制,使得访问控制漏洞仍普遍存在,攻击者可对Web应用的敏感数据进行非法访问.为了获得准确的访问控制机制,测试用例的准确性和有效性至关重要.然而,现有的测试用例生成方法存在漏报、冗余度高等缺陷.文中根据Web应用程序的访问控制模型,提出一种基于策略推导的测试用例生成方法.此方法从角色和用户两个级别发现对应的授权操作集合,推导Web应用程序的访问控制策略,并利
其他文献
意识形态以思想的力量渗入一个国家政权的兴衰机理之中,意识形态生产也以其必然性逻辑嵌入一个国家意识形态建设当中。源于代表利益的局限性和政治权力推行效果的有限性,促使
以葱细胞质雄性不育系CA及其同核异质保持系CB为材料,通过分析花蕾发育过程中活性氧(O2)产生速率、丙二醛(MDA)含量以及抗氧化酶(超氧化物歧化酶、过氧化氢酶、过氧化物酶)活
本研究以淮河水专项中沙颍河中下游农业面源污染控制与水质改善集成技术研究与综合示范课题为依托(课题编号015ZX07204-007),以红薯淀粉废水为研究对象,比较国内外研究现状,
每个人生活在社会上接触自然和他人,遇到形形色色的事情会成功也会失败,然而并不是所有的个体都会乐观的接纳自己和他人,排斥感、孤独感存在于生活中的各个方面,而程度过于严重会产生人际之间的疏远,对事物丧失兴趣,而高疏离感的个体难以维持正常的社会关系。长期下去,影响正常的生活与学习。本研究采用问卷法对天津市两所学校的初中学生展开研究,了解这两所学校的初中生的疏离感现状,并探讨了家庭功能、个体的情绪调节策略
针对营销研究脱离企业实践、缺乏理论创新的现状,文章以郸酒的移动互联营销为例,提出"典型案例创新研究法",探讨我国本土企业营销实践中出现的新问题、新方法和新理念,进行理
为明确密植对花生产量的影响,并阐明不同类型花生品种的耐密性,以远杂9102、远杂6号、豫花23号、DF12、商花4号和商花6号为供试品种,设置1.125×10~5~3.600×10~5株(穴)/hm~2
中国古典诗歌中因为特殊的需要对一些诗歌语言进行了变形处理变形的,变形主要有词性的改变、词序的颠倒、字词的省略三种类型,变形后的诗歌诗歌语言更加简洁、含蓄、鲜活。
目的考察60Co辐照灭菌对黄芩饮片的主要色谱峰及含菌量的影响。方法选择5、10 k Gy 2种辐照剂量对黄芩饮片进行辐照;采用HPLC法建立黄芩特征图谱,比较辐照前后特征图谱中主要
近年来,互联网在各个领域得到了快速发展,电子商务进入了黄金发展时期。行业范围也在扩大。增长最快的部分是初级农产品的电子商务。2018年,中国初级农产品电商市场规模达到1
目的调查高职护生在传染病科临床实习期间的心理压力状况,并探讨其干预对策。方法采用Zung自我评定焦虑量表(SAS)、抑郁自评量表(SDS)对206名在传染病科和内科实习期间的高职