您的位置： 专家智库 > >

夏彬伟

作品数：1 被引量：0H指数：0
供职机构：华南理工大学更多>>

合作作者

文献类型

  • 1篇中文专利

主题

  • 1篇代数
  • 1篇形式化
  • 1篇形式化描述
  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇完整性
  • 1篇进程代数
  • 1篇安全特性

机构

  • 1篇华南理工大学

作者

  • 1篇李金星
  • 1篇杨捷
  • 1篇夏彬伟
  • 1篇韩昊

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于进程代数的软件体系结构安全模型的建立方法
本发明公开了一种基于进程代数的软件体系结构安全模型的建立方法，包括：1）创建软件体系结构的流图；2）在软件体系结构的流图基础上，采用进程代数作为形式化描述语言对各个软件体系结构要素进行定义；3）对被定义的软件体系结构进行...
韩昊杨捷李金星夏彬伟
文献传递
全选 清除 导出
共1页<1>
聚类工具0