检索结果-内蒙古大学图书馆

北京邮电大学学报 2011年第2期34卷 35-38页

作者：孙莹瞿成勤石颖海军计算技术研究所北京100841

详细分析了进位返加运算的进位序列,通过对Fn2空间的划分,解决了计算进位返加运算进位序列的概率分布问题.提出了一种计算进位返加与F2上异或运算"异或差值"概率分布的有效算法,该算法的计算复杂度为O((n-1)/2).解决了用模2... 详细信息

详细分析了进位返加运算的进位序列,通过对Fn2空间的划分,解决了计算进位返加运算进位序列的概率分布问题.提出了一种计算进位返加与F2上异或运算"异或差值"概率分布的有效算法,该算法的计算复杂度为O((n-1)/2).解决了用模2加运算整体逼近进位返加运算时产生误差的概率分布,同时也反映了这2个运算的接近程度.

关键词：密码学异或差值进位返加异或运算

来源：评论

学校读者我要写书评

暂无评论

基于会话层细粒度访问控制扩充中的关键问题

引用

计算机工程 2005年第7期31卷 40-42页

作者：盛可军沈昌祥海军工程大学武汉430033 海军计算技术研究所北京100841

基于会话层网关协议细粒度访问控制扩充中的两个关键问题是获取访问请求所用应用协议和认证效率。在对基于会话层网关进行细粒度访问控制扩充可行性分析的基础上,给出了获取应用协议的自动机模型构造算法和基于用户真实身份高效的强身... 详细信息

基于会话层网关协议细粒度访问控制扩充中的两个关键问题是获取访问请求所用应用协议和认证效率。在对基于会话层网关进行细粒度访问控制扩充可行性分析的基础上,给出了获取应用协议的自动机模型构造算法和基于用户真实身份高效的强身份认证过程算法。

关键词：会话层细粒度访问控制认证网关

来源：评论

学校读者我要写书评

暂无评论

安全操作系统中基于多策略的应用支持模型

引用

计算机工程 2004年第21期30卷 28-29,32页

作者：陈泽茂沈昌祥海军工程大学武汉430033 海军计算技术研究所北京100841

在安全操作系统中,安全策略的实施可能导致已有的应用程序无法正常运行。把应用程序抽象为一组功能模块的集合,在此基础上提出安全策略与应用程序之间的兼容性检测方法。基于多策略安全模型,该文建立安全操作系统的应用支持模型,分析了... 详细信息

在安全操作系统中,安全策略的实施可能导致已有的应用程序无法正常运行。把应用程序抽象为一组功能模块的集合,在此基础上提出安全策略与应用程序之间的兼容性检测方法。基于多策略安全模型,该文建立安全操作系统的应用支持模型,分析了该模型的安全性。

关键词：安全模型安全操作系统应用支持模型多策略

来源：评论

学校读者我要写书评

暂无评论

最小特权原理应用研究

引用

计算机工程 2005年第15期31卷 125-126,141页

作者：王志刚孙允标海军计算技术研究所北京100841 海军司令部机要局北京100841

基于对最小特权原理的研究和分析,结合安全操作系统的研究,设计了一种计算机系统安全的管理模式,并针对该模式在安全操作系统上的具体应用进行了详细论述。同时探讨了最小特权原理在网络安全以及数据库安全方面的应用情况。

关键词：最小特权原理安全操作系统 Internet和数据库安全

来源：评论

学校读者我要写书评

暂无评论

基于PostgreSQL的强制访问控制的实现

引用

计算机工程 2006年第2期32卷 50-52页

作者：刘欣沈昌祥海军工程大学4系武汉430074 海军计算技术研究所北京100004

讨论一个基于公开源码数据库PostgreSQL的安全数据库原型系统中强制访问控制机制的实现。详细阐述了原型系统对PostgreSQL系统原有数据字典的更改及对DDL、DML语言的改造,并介绍了多级关系的分解与恢复算法。

关键词：安全数据库 BLP模型强制访问近控制

来源：评论

学校读者我要写书评

暂无评论

信任动态多级安全模型及其实现

引用

计算机工程 2005年第13期31卷 27-28页

作者：许访沈昌祥海军工程大学四系武汉430030 海军计算技术研究所北京100841

把信任机制与多级安全模型相结合,提出了一种信任动态多级安全模型。模型根据用户的可信度,使其权限在某一范围内动态变化。采用该机制能细化访问粒度,增强系统实用性;还能降低威胁风险,提供完善的系统保护。

关键词：可信度多级安全模型操作系统

来源：评论

学校读者我要写书评

暂无评论

高性能计算节点中的同步操作加速引擎设计

引用

电子科技大学学报 2012年第1期41卷 92-97页

作者：陈飞曹政王凯胡农达安学军中国科学院计算技术研究所北京海淀区100190

随着GPU等加速部件在超级计算领域的广泛应用,超级计算机单个节点的硬件并行度比单核时代高几倍甚至几十倍。在该环境下,并行应用于单个芯片、计算节点内和计算节点间的通信密度较单核时代急剧增加,通信瓶颈问题愈发突出。为应对高并行... 详细信息

随着GPU等加速部件在超级计算领域的广泛应用,超级计算机单个节点的硬件并行度比单核时代高几倍甚至几十倍。在该环境下,并行应用于单个芯片、计算节点内和计算节点间的通信密度较单核时代急剧增加,通信瓶颈问题愈发突出。为应对高并行度带来的通信瓶颈问题,提出一种同步引擎的硬件设计,该同步引擎可有效地支持和加速计算节点内多任务间频繁小数据量传输(细粒度同步)以及计算节点内和节点间的Barrier、All-reduce集合操作,进而加速并行应用的性能。测试结果表明,在16进程规模下的集合操作测试中,同步引擎相比传统的软件实现有约4倍的加速,在三角矩阵分解(LU分解)测试程序中可以获得约20%的性能提升。

关键词：集合操作通信系统计算节点细粒度同步高性能计算机混合编程消息传递

来源：评论

学校读者我要写书评

暂无评论

操作系统安全结构框架中应用类通信安全模型的研究

引用

计算机研究与发展 2005年第2期42卷 322-328页

作者：郑志蓉蔡谊沈昌祥海军工程大学电气工程系武汉430003 海军计算技术研究所北京100841

经典的BLP模型是解决保密性问题的理论基础 ,Biba模型是一种简明易实现的完整性模型在应用系统中数据的共享和安全是一对矛盾在将应用系统抽象为应用类的基础上 ,引入完整性规则集代表信息的可信度 ,结合BLP模型和Biba模型构造了一... 详细信息

经典的BLP模型是解决保密性问题的理论基础 ,Biba模型是一种简明易实现的完整性模型在应用系统中数据的共享和安全是一对矛盾在将应用系统抽象为应用类的基础上 ,引入完整性规则集代表信息的可信度 ,结合BLP模型和Biba模型构造了一种应用类通信的安全模型 ,并给出了模型的形式化描述和正确性证明应用类通信安全模型不仅解决了保密性问题 ,而且解决了完整性问题以支持B/S文电传输应用系统的安全为例 ,给出了在操作系统中实现应用类通信安全模型的方法。

关键词：操作系统应用类 BLP模型 Biba模型 B/S应用

来源：评论

学校读者我要写书评

暂无评论

基于多级安全策略的二维标识模型

引用

计算机学报 2004年第5期27卷 619-624页

作者：蔡谊郑志蓉沈昌祥海军计算技术研究所北京100841

安全模型是用形式化的方法来描述如何满足系统的安全要求 .经典的安全模型都只能要么满足系统的保密性要求 (如BLP模型 ) ,要么满足完整性的要求 (如Biba模型 ) .该文提出了一个多级安全策略的二维标识模型 ,在对可信主体必须遵守最小... 详细信息

安全模型是用形式化的方法来描述如何满足系统的安全要求 .经典的安全模型都只能要么满足系统的保密性要求 (如BLP模型 ) ,要么满足完整性的要求 (如Biba模型 ) .该文提出了一个多级安全策略的二维标识模型 ,在对可信主体必须遵守最小特权原则的前提下 ,利用保密性标识和可信度标识共同构成主客体的访问标识 ,并利用两个约束条件 ,使得既能防止越权泄露信息 ,又能控制信息的非授权修改 ,从而同时保证了系统的保密性和完整性 .

关键词：多级安全策略二维标识模型安全模型最小特权系统保密性完整性

来源：评论

学校读者我要写书评

暂无评论

一种专用可信网络

引用

北京工业大学学报 2006年第11期32卷 1032-1036页

作者：余彦峰刘毅张书杰段立娟北京工业大学计算机学院北京100022 海军计算技术研究所北京100841

为实现一个可信的专用网络,结合可信计算技术,利用组合公钥算法将可信终端的信任链引入专用网络．采用闪存密钥技术弥补了组合公钥算法易受共谋攻击的缺点,建立了,专用可信网络模型,以密码管理和安全管理为中心构建了综合安全防护系统,... 详细信息

为实现一个可信的专用网络,结合可信计算技术,利用组合公钥算法将可信终端的信任链引入专用网络．采用闪存密钥技术弥补了组合公钥算法易受共谋攻击的缺点,建立了,专用可信网络模型,以密码管理和安全管理为中心构建了综合安全防护系统,实现了专用网络的安全性、真实性、可控性和可靠性．

关键词：可信网络可信计算组合公钥安全性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：