期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于服务体模型的安全操作系统中的通信与安全控制
1
作者
吴明桥
李宏
龚育昌
《小型微型计算机系统》
CSCD
北大核心
2005年第10期1858-1862,共5页
在介绍基于执行流/服务体的操作系统模型的基础上,重点讨论了基于该模型的安全探作系统中的通信机制及其安全 控制.分析了通信可能受到的威胁,并给出了相应的对抗方法,从而简便有效的保证了探作系统的安全性.
关键词
安全操作系统
服务
体
模型
执行流
服务体间通信
下载PDF
职称材料
一种基于服务体/执行流的新型操作系统构造模型
被引量:
10
2
作者
吴明桥
陈香兰
+1 位作者
张晔
龚育昌
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第2期230-236,共7页
在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、...
在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.
展开更多
关键词
进程/线程模型
服务
体
执行流
服务体间通信
下载PDF
职称材料
一种新型的构件化操作系统的内核设计
被引量:
5
3
作者
龚育昌
张晔
+1 位作者
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicor...
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
展开更多
关键词
构件化操作系统
服务
体
/执行流模型(SEFM)
内核/核心
服务
体
服务体间通信
端口
下载PDF
职称材料
题名
基于服务体模型的安全操作系统中的通信与安全控制
1
作者
吴明桥
李宏
龚育昌
机构
中国科学技术大学计算机科学技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第10期1858-1862,共5页
基金
国家自然科学基金项目(60273042)资助安徽省自然科学基金项目(03042203)资助.
文摘
在介绍基于执行流/服务体的操作系统模型的基础上,重点讨论了基于该模型的安全探作系统中的通信机制及其安全 控制.分析了通信可能受到的威胁,并给出了相应的对抗方法,从而简便有效的保证了探作系统的安全性.
关键词
安全操作系统
服务
体
模型
执行流
服务体间通信
Keywords
secure operating system
serverblock model
executive-stream
inter serverblock communication
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于服务体/执行流的新型操作系统构造模型
被引量:
10
2
作者
吴明桥
陈香兰
张晔
龚育昌
机构
中国科学技术大学计算机科学技术系
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第2期230-236,共7页
基金
国家自然科学基金(60273042)
安徽省自然科学基金(03042203)资助
文摘
在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.
关键词
进程/线程模型
服务
体
执行流
服务体间通信
Keywords
process/thread model
servant
executive flow
inter servant communication
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种新型的构件化操作系统的内核设计
被引量:
5
3
作者
龚育昌
张晔
李曦
陈香兰
机构
中国科学技术大学计算机科学技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
基金
国家自然科学基金项目(60273042)资助
安徽省自然科学基金项目(03042203)资助
文摘
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
关键词
构件化操作系统
服务
体
/执行流模型(SEFM)
内核/核心
服务
体
服务体间通信
端口
Keywords
component based operating system
servant/exe-flow model (SEFM)
kernel/kernel servant
inter-servant communication
port
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于服务体模型的安全操作系统中的通信与安全控制
吴明桥
李宏
龚育昌
《小型微型计算机系统》
CSCD
北大核心
2005
0
下载PDF
职称材料
2
一种基于服务体/执行流的新型操作系统构造模型
吴明桥
陈香兰
张晔
龚育昌
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006
10
下载PDF
职称材料
3
一种新型的构件化操作系统的内核设计
龚育昌
张晔
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部