-
题名使用容量指标的安全实时数据库信道限制方法
被引量：2
- 1
-
-
作者
曾海涛
王永吉
阮利
祖伟
蔡嘉勇
-
机构
中国科学院软件所互联网软件技术实验室
中国科学院自动化所综合信息中心
中国科学院研究生院
-
出处
《通信学报》
EI
CSCD
北大核心
2008年第8期46-56,共11页
-
基金
国家自然科学基金资助项目(60673022)
中国科学院“百人计划”基金资助项目
国家科技攻关计划基金资助项目(2005BA113A02)~~
-
文摘
依据可信计算机系统评测标准(TCSEC)要求,提出一种使用信道容量指标的安全实时数据库中数据竞争信道的限制方法(CUCCMM),给出了限制过程中信道容量度量算法和限制参数计算方法。为了保证系统的信道容量限制标准的准确执行,提出了一种基于多概率的并发控制协议选择策略(MPBPSP)。实验结果证明CUCCMM方法可以有效地、准确地实施对隐蔽信道容量的限制,并且通过使用MPBPSP策略显著降低了信道限制操作对系统实时性能的影响。
-
关键词
安全实时数据库
数据竞争隐蔽信道
信道容量
协议选择策略
-
Keywords
secure real-time database
data conflict covert channel
channel＇s capacity
protocol selection policy
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
-
题名一种分布式高性能集群邮件系统的设计与实现
被引量：4
- 2
-
-
作者
郑勇
杨达
林溯奕
张学杰
-
机构
中国科学院软件所互联网软件技术实验室
云南大学信息学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2006年第6期253-256,共4页
-
基金
国家"863"计划基金资助项目"集群服务器功能软件"(2002AA1Z210)
国家"863"计划基金资助软件重大项目(2004AA1Z2010)
国家"863"计划基金资助项目(2004AA1Z2050)
-
文摘
提出了一种新的集群邮件服务系统DCMS。DCMS从功能上将邮件服务划分为4个部分:前端中转集群,服务集群,验证集群和后台存储集群,并对各个部分通过相关技术进行性能优化。测试结果表明该系统不仅具备高性能、高可用性、可伸缩性,而且易于扩展。
-
关键词
集群
负载均衡
LVS
LDAP
-
Keywords
Cluster
Load balancing
LVS
LDAP
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名SPEM2XPDL模型转换研究
- 3
-
-
作者
万志刚
袁峰
周津慧
-
机构
中国科学院软件所互联网软件技术实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第4期42-46,共5页
-
基金
国家自然科学基金资助项目(60273026)
国家"863"计划资助项目(2005AA113140)
-
文摘
将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。
-
关键词
软件过程工程元模型
可扩展标记语言过程定义语言
软件过程
工作流
模型转换
-
Keywords
SPEM （software process engineering metamodel）
XPDL（ XML process definition language）
software process
workflow
model transformation
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
