【摘 要】
：
安全功能独立性测试是信息安全产品评估的一个重要方面.高等级数据库管理系统(DBMS)的安全功能都提供基于标签的强制访问控制机制,其安全评估需要构建其安全策略模型,自动的
【机 构】
：
清华大学软件学院,信息系统与工程研究所,北京100084
【出 处】
：
第五届信息安全漏洞分析与风险评估大会
论文部分内容阅读
安全功能独立性测试是信息安全产品评估的一个重要方面.高等级数据库管理系统(DBMS)的安全功能都提供基于标签的强制访问控制机制,其安全评估需要构建其安全策略模型,自动的生成覆盖测试需求的测试用例集.围绕通用准则的强制访问控制组件评估需求和DBMS产品标签安全分级、范围、分组等组件元素,定义了基于有限状态机概念的模型元素和组件元素之间处理机制,设计了标签组件元素与主体、客体绑定后的读写操作策略规则.最后给出了一种数据库标签安全机制的形式化的五元组自动机模型,并基于图形遍历搜索方法,采用迁移覆盖测试用例集合生成算法得到了数据库安全标签评估用的测试用例集.
其他文献
【摘 要】在实际工程设计中，选用了格宾砌护、格栅砌护、干砌石砌护、柳庄麦草砌护等四种沟道砌护方案进行了定性分析。根据盐湖沟的地形、地质条件，按照因地制宜、因势利导的原则，从施工条件、工程造价、防护效果、生态景观效果以及管理维护等方面进行优化分析。根据工程实际情况，最终选定了格宾、格栅、干砌石组合砌护方案。 【关键词】沟道砌护；方案优选 1 工程概况 中型灌区节水配套改造项目建设，为农业综合开
为了解决当前异常检测算法中存在的自适应性差、检测率低等问题,基于生物免疫系统与计算机网络的相似性,本文提出了一种基于危险理论原理和信号机制的异常检测算法.考虑到系
数组类型抽象重构是类型恢复中的一个重要问题,直接影响反编译结果的正确与否,在漏洞检测、逆向工程及恶意代码分析中具有重要的意义。提出一种新的多维数组类型重构方法,先
以盛果期新红星苹果树为试材，于盛花期喷施果形素1号、2号、3号，均可显著提高花序坐果率、果形指数、高桩果率和果实单果重，但对果实硬度、可溶性固形物、果实着色度均无显著作
随着移动互联网用户的不断增多,国内Android应用商城快速发展.由于商城运营方缺乏有力和高效的程序安全审查机制与工具,以获取用户隐私信息为目的的程序不断涌现.本文聚焦于
1950年，美帝侵略朝鲜的战火烧到鸭绿江边。当时的贵阳和全国一样,“抗美援朝保家卫国”的热潮风起云涌。解放军11月15日进驻贵阳时,吴鸿钧是省立贵阳中学高三年级学生，他跟着人群到贵阳市东大门（油榨街）去欢迎解放军入城。解放军战士高举着毛主席和朱总司令的画像，胸挂冲锋枪，肩扛各式枪支, 十分威武。从这天起, 吴鸿钧和全市人民一样, 在共产党的阳光沐浴下, 开始了崭新的生活。 12月16日深夜, 同
随着移动电子商务的发展,NFC手机正逐步成为移动支付的主要方式.现有的技术方案还不能为用户提供一个完全安全的支付系统,本文采用安全威胁建模的一般方法对NFC在线支付系统
2006年9月23日晚,第十五届世界羽毛球锦标赛在西班牙马德里体育馆进行了女子双打的决赛。中国选手经过一番激战,魏轶力和张亚雯夺得了世锦赛亚军。尽管离冠军只差一步,但身高
他是微软公司唯一一位3次被授予公司最高奖项——“比尔·盖茨总裁杰出奖”和“杰出管理奖”的员工;微软(中国)终身荣誉总裁;美国德克萨斯大学特聘教授、北京大学特聘教授…
展会时间:2010年9月14日-9月16日展会地点:德国埃森展览中心展会网站:www.composites-europe.com主办单位:励展博览集团【展会介绍】欧洲复合材料展览会由励展博览集团主办,