国家自然科学基金(90718009)

作品数：12被引量：21H指数：2
导出分析报告
相关作者：黄羿马新强杨静李丹宁陈小文更多>>
相关机构：贵州大学重庆文理学院贵州科学院西南大学更多>>
相关期刊：《Wuhan University Journal of Natural Sciences》《计算机技术与发展》《计算机工程与设计》《通信学报》更多>>
相关主题：信息安全BLP模型BIBA模型装箱问题可信平台模块更多>>
相关领域：自动化与计算机技术理学电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分层模型在中国信息安全等级保护体系中的借鉴应用
《重庆文理学院学报（社会科学版）》2014年第2期87-91,共5页何锦 李丹宁 黄羿 
国家自然科学基金资助项目(90718009);贵州省科学技术基金项目(黔科合J字[2011]2205号;黔科合J字[2012]2185号);永川区自然科学基金(重点)项目(YCSTC2013NB8001);重庆市教委科学技术研究项目(KJ121219)
多层的风险管理模型,能促进整合整个组织的风险管理流程,更有效地处理组织使命和业务流程.对中国信息安全等级保护而言,如何实现从国家到地方整个体系的有机联动,如何更好地实现体系中安全保护的持续改善,以及进一步落实等级保护中各个...
关键词：信息安全 等级保护 分层 风险管理 
基于汉语拼音的模糊查询及其在图书馆管理系统中的应用
《计算机应用与软件》2011年第5期42-44,共3页靳小倩 杨静 
国家自然科学基金项目(90718009);贵州省基金项目(黔科合J字[2010]2094号);贵阳市科技局工业攻关项目([2010]筑科工合同字第1-75号)
在图书馆管理系统的查询功能中,模糊查询可以使得整个系统的查询、管理变得更简洁和高效。通过区位码实现汉字拼音模糊查询,主要介绍其基本思想、算法实现示例以及使用的实例,来展示拼音模糊查询的实现方法,解决汉字模糊查询的弊端。
关键词：模糊查询算法 区位码 汉字拼音模糊查询 
基于格的可信计算模型被引量：5
《通信学报》2010年第S1期105-110,共6页马新强 黄羿 
国家自然科学基金资助项目(90718009);贵州省国际科技合作计划基金资助项目(黔科合外G字[2010]7026号);贵州省科学技术基金项目(黔科合J字[2010]2104);重庆文理学院项目基金资助项目(Y2009JS57;68;69)~~
为了保障信息的机密性和完整性,对信息的访问和操作,一般需要遵循一定的安全策略。BLP模型只解决了机密性问题,而Biba模型只解决了完整性问题,其他模型也都类似,无法使二者同时兼顾。基于可信模型的敏感标记集合在数学上应形成格的理论...
关键词：可信计算模型 格 BLP模型 BIBA模型 
无线网络协议的安全分析与测试被引量：1
《计算机安全》2010年第2期48-51,共4页黄羿 马新强 郭涛 
国家自然科学基金项目(90718009);重庆文理学院校内重点科研项目(Z2008JS55;090302;080303)
无线网络是目前网络发展的一个方向和趋势。借助对无线局域网802.11协议及其加密体制的安全性进行分析,从理论上得出原有的802.11协议及其加密体制存在的诸多漏洞。在Linux下对802.11协议中的WEP体制进行攻击实验的测试,尤其是注入式攻...
关键词：无线局域网 安全性 WEP体制 802.11协议 
基于程序正确性的演算方法被引量：2
《计算机工程与设计》2009年第17期4020-4022,共3页任彦芳 杨静 索丙芮 
国家自然科学基金项目(90718009);贵州省科学技术基金项目(黔科合J字[2009]2123)
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。对最弱前置谓词...
关键词：可靠性 正确性验证 最弱前置谓词 公理化方法 前置条件 
钢坯入库路径优化模型与算法
《计算机技术与发展》2009年第12期196-200,共5页陈小文 杨静 杨观赐 
国家自然科学基金项目(90718009);上海高可信计算实验室开放项目;贵州省科学技术基金(黔科合J字(2009;2123))
在钢铁工厂的车间里,钢坯入库是一道非常重要的工序,它可归结为装箱问题。文中根据某钢厂的实际情况建立了相应的数学模型,以减少天车的行走距离,提高库房的利用率。通过分析天车行走总距离与钢坯入库顺序的关系,提出并论证了单存储区...
关键词：装箱问题 可变路径 固定路径 最小入库序列 
基于扩充敏感标记的格理论模型研究被引量：2
《计算机工程》2009年第21期171-173,共3页马新强 黄羿 李丹宁 
国家自然科学基金资助项目(90718009);贵州省高新技术发展及产业化基金资助项目(黔科合成字[2008]5014号);重庆文理学院校内科研基金资助项目(Z2008SJ15;Y2007SJ43)
为在实现多级安全系统过程中有效兼顾BLP模型与Biba模型,分析安全模型敏感标记集合在数学上形成的格理论,提出一种能够有效融合这些模型的敏感标记格安全理论模型,以同时标识信息机密性与完整性,通过构建新的敏感标记格理论模型,为信息...
关键词：安全模型 格 敏感标记 BLP模型 BIBA模型 
基于逻辑程序的柔性授权框架
《通信学报》2009年第S1期23-27,共5页张明生 陈武 
国家自然科学基金资助项目(90718009);贵州省科学技术基金资助项目([2009]2125);贵州省省长基金项目([2009]024)~~
提出一个基于逻辑程序和基于角色访问控制并且具有柔性授权、逻辑形式化和策略集成特点的柔性授权框架。研究了如何使用逻辑程序强大的表达能力确定现实中复杂的安全需求,平衡柔性访问控制规范的表达性、简单性和有效性,处理柔性访问控...
关键词：逻辑程序 基于角色访问控制 策略集成 柔性授权框架 
Makinson一个公开问题的注记
《计算机科学》2009年第6期217-218,222,共3页吴茂念 陈武 张明义 沈复兴 
国家自然科学基金(No.90718009);贵州大学省级研究生创新基金(省研理工2006005);贵州省科学技术基金(黔科合J字[2009]2123号)资助
公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essential原子,从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题。现解决了这个公...
关键词：非单调推理 essential原子 等价关系 
钢坯入库优化算法
《贵州大学学报（自然科学版）》2009年第3期35-38,共4页陈小文 杨静 
国家自然科学基金资助项目(90718009);上海高可信计算实验室开放项目;贵州大学引进人才科研基金资助项目[2009]
钢坯入库是一道非常重要的工序,它可归结为装箱问题。根据某钢厂的实际情况建立了相应的数学模型,基于该模型,建立入库时的决策条件,并设计了相应的入库算法。实验数据表明,模型具有合理性算法可行性。
关键词：钢坯入库 装箱问题 决策条件 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部