张明生
- 作品数：10 被引量：4H指数：1
- 供职机构：贵州民族大学更多>>
- 发文基金：贵州省科学技术基金贵州省优秀科技教育人才省长资金项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 柔性授权及其逻辑规范研究
- 随着访问控制理论和现实应用中安全需求的发展,表达能力和灵活性现在已成为访问控制系统的顶级要求;逻辑程序被普遍认为是形式化安全策略的最好方法。本文主要研究如何用逻辑程序确定柔性访问控制策略,包括分析柔性访问控制的特征,探索...
- 张明生汪元普
- 关键词：逻辑程序基于角色访问控制
- 文献传递
- 基于格的访问控制策略在RBAC中实现的形式化分析
- 研究如何实现基于格的访问控制策略无论在安全理论领域还是在安全实践方面都是很有意义的。描述如何使用一个基于角色的访问控制(RBAC)模型来模拟摹于格的访问控制(LBAC)系统，如Bell-LaPadula和Biba;通过用...
- 张明生张明义
- 关键词：访问控制形式化分析关系代数控制策略信息安全
- 文献传递
- 一类复杂适应系统的建模研究被引量：4
- 2012年
- 引入复杂适应系统理论,将股市、房地产系统视为一类复杂适应系统。采用多智能体方法进行建模,设计随机决策Agent、模仿Agent、BP神经网络Agent等模块,引入订单簿技术实现Agent之间的信息交互。通过仿真模拟该类复杂系统的动态演化过程,验证了模型的有效性。
- 邵艳华张明生
- 关键词：复杂适应系统智能体神经网络SWARM仿真平台
- 一种木塑组合手机架
- 本实用新型公开了一种木塑组合手机架，包括一片长支撑板和两片形状、尺寸一致的短支撑板，短支撑板的长度是长支撑板长度的五分之三，两片短支撑板的上表面各设有三排凸缘，凸缘的横截面分别是菱形、等边三角形和直角三角形，长支撑板的上...
- 徐海龙曹岩高华张明生
- 文献传递
- 授权中异常冲突的一种解决方法
- 2008年
- 冲突检测和解决是访问控制授权中的重要问题。对这些问题的探索我们通过研究方法比较进行。首先研究基于逻辑程序的一种授权系统规范,然后通过一个保健部门的典型问题来分析基于传统优先和组织结构的两种冲突解决方案,最后提出基于逻辑程序LPOD(带有序析取的逻辑程序)的针对高水平授权规范中异常冲突的一种解决方法。
- 张明生杨静
- 关键词：访问控制授权
- 一种浴室用木塑手机架
- 本实用新型公开了一种浴室用木塑手机架，包括矩形支撑板和U形支撑板，矩形支撑板侧面下方设有通孔，U形支撑板包括插条和平板，插条通过通孔与矩形支撑板可拆卸连接，平板上面设有凸缘，凸缘的横截面为三角形且外侧设有蓝牙音响和电池槽...
- 徐海龙曹岩杨洋张明生
- 文献传递
- 几何迭代方法计算空间两圆之间的最近距离
- 2015年
- 空间两圆之间的最近距离计算是计算机图形学、计算机辅助设计、计算机辅助几何设计等领域进行碰撞检测和相交计算问题的基础。本文对任意位置关系的空间两圆的最近距离进行了完整分析与讨论。空间两圆的中心轴不平行时,提出了基于几何迭代方法的空间两圆最近距离的求解算法,当空间两圆中心轴有交点时,本文给出了间两圆最近距离的两对对应点;当空间两圆的中心轴平行或重合时,本文给出两圆最近距离的解析表达式。最后通过若干例子显示本文方法的稳定性和有效性。
- 李小武吴志男王林张明生
- 关键词：中心轴
- 一种多功能防尘木塑粉笔盒
- 本实用新型公开了一种多功能防尘木塑粉笔盒，包括弓字形支架、粉笔盒本体、黑板擦和吸尘器，弓字形支架从上至下依次形成有第一个凹槽、第二个凹槽和第三个凹槽，第一个凹槽用于卡住黑板槽，使得弓字形支架可以在黑板槽上左右自由移动，第...
- 徐海龙曹岩杨洋张明生
- 文献传递
- 一种风险因子矩阵的信息安全风险管理应用
- 2018年
- 信息安全风险等级测评在目前的信息安全管理中处于一个相当重要的地位,文章对信息安全的风险等级测评的方法进行分析,通过引进风险矩阵法以及引入风险因子的概念,构建了风险因子的矩阵,利用风险因子矩阵运算得出测评对象的实际风险等级。该方法将定性方法和定量方法互相结合起来,提高了测评的客观性,降低了主观因素的影响,减少了测评过程中可能产生的部分误差。
- 袁晟鸿张明生
- 关键词：风险评估
- 基于逻辑程序的柔性授权框架
- 提出一个基于逻辑程序和基于角色访问控制并且具有柔性授权、逻辑形式化和策略集成特点的柔性授权框架。研究了如何使用逻辑程序强大的表达能力确定现实中复杂的安全需求,平衡柔性访问控制规范的表达性、简单性和有效性,处理柔性访问控制...
- 张明生陈武
- 关键词：逻辑程序访问控制网络安全
- 文献传递
