您的位置： 专家智库 > >

张明义

作品数：2 被引量：0H指数：0
供职机构：贵州民族大学更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇会议论文
  • 1篇科技成果

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 1篇代数
  • 1篇信息安全
  • 1篇形式化
  • 1篇形式化分析
  • 1篇语言
  • 1篇语言结构
  • 1篇控制策略
  • 1篇关系代数
  • 1篇泛系
  • 1篇泛系理论
  • 1篇访问控制

机构

  • 2篇贵州民族大学
  • 1篇贵州大学
  • 1篇贵州师范大学
  • 1篇贵州科学院

作者

  • 2篇张明义
  • 1篇杨崇耀
  • 1篇张明生

传媒

  • 1篇第一届中国计...

年份

  • 1篇2007
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于格的访问控制策略在RBAC中实现的形式化分析
研究如何实现基于格的访问控制策略无论在安全理论领域还是在安全实践方面都是很有意义的。描述如何使用一个基于角色的访问控制(RBAC)模型来模拟摹于格的访问控制(LBAC)系统，如Bell-LaPadula和Biba;通过用...
张明生张明义
关键词：访问控制形式化分析关系代数控制策略信息安全
文献传递
广义形式语言泛对称的一些泛系研究
杨崇耀张明义
该课题应用广泛理论给出了广义形式语言亦即泛语的概念，它既以经典的形式语言为特例，又为语言的歧义与不确定性等研究提供了强有力工具。通过给出广义形式语言的严格描述和基本性质，为深入研究奠定了基础，同时对一种特殊的语言结构现象...
关键词：
关键词：语言结构泛系理论
全选 清除 导出
共1页<1>
聚类工具0