电子机构

作品数：7被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蔡国永史磊高济曹锐隋新更多>>
相关机构：罗伯特·博世有限公司桂林电子科技大学浙江大学太原市优特奥科电子科技有限公司更多>>
相关期刊：《模式识别与人工智能》《微电子学与计算机》《计算机系统应用》《计算机工程》更多>>
相关基金：广西壮族自治区自然科学基金广西省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
宽带半导体材料的电子机构与性质被引量：1
《电子技术与软件工程》2017年第11期100-100,共1页杨海鸥 
以密度泛函理论为基础,选摘择宽带半导体材料Cd Al2S4为研究要对象,从晶格结构、能带结构方面,对其电子机构进行了研究,从弹性性质与光学性质两方面对其性质进行了分析。
关键词：宽带半导体材料 电子机构 性质 
电子机构的信息流控制研究
《计算机工程》2011年第2期120-122,125,共4页史磊 蔡国永 隋新 
广西自然科学基金资助项目(0728089)
电子机构是解决自治主体间业务可信协同的一种开发框架,但其缺乏对信息流进行灵活控制的安全机制,可能会造成对机密信息的威胁。为此,在扩充电子机构语义的前提下,设计一种动态检测信息传递的安全模型。该模型根据强制访问控制的特点,...
关键词：电子机构 访问控制 信息流 
电子机构基于角色的访问控制模型
《计算机系统应用》2009年第9期50-53,共4页李红霞 蔡国永 
根据电子机构的基本概念、结构,提出了电子机构基于角色的访问控制模型,并与传统的基于角色的访问控制模型进行比较。采用重写逻辑Maude工具中面向对象的建模方法对该模型进行建模,并将模型应用到医院管理信息系统中。测试结果表明该模...
关键词：电子机构 重写逻辑 访问控制 
电子机构的信息流安全分析
《微电子学与计算机》2009年第8期196-200,共5页史磊 蔡国永 隋新 
广西自然科学基金项目(0728089)
电子机构为自治主体间可信业务协同分析提供了一种框架,但现有的电子机构模型对其中存在的各种信息流还缺乏有效地分析和规范.文中以分析角色之间信息流的传递为前提,提出了用来发现电子机构中潜在非法信息流的算法,并给出了解决非法信...
关键词：电子机构 访问控制模型 信息流 控制策略 
电子机构的安全性分析研究被引量：2
《计算机系统应用》2008年第8期46-50,共5页李红霞 蔡国永 
广西自然科学基金(NO.0728089)
电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念,提出了电子机构基于角...
关键词：电子机构 安全 角色 访问控制 
基于扩充环境演算的虚拟组织建模与分析
《模式识别与人工智能》2008年第5期577-585,共9页蔡国永 高济 黄勇 赵岭忠 
国家自然科学基金(No.60775029;60663005);广西省自然科学基金(No.0728089)资助项目
针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义.以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例...
关键词：环境演算 电子机构 多主体系统 虚拟组织 形式化方法 
电子机构的进程代数模型研究被引量：2
《微电子学与计算机》2007年第10期74-77,共4页蔡国永 高济 董荣胜 
广西自然科学基金项目(0728089)
在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题。电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持。以进程代数理论为基础,提出一种适合电子机构的进程演...
关键词：电子机构 进程代数 分布协同 自治主体 设计规约 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部