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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

10 篇 会议
1 篇 期刊文献

馆藏范围

11 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

6 篇 工学
- 6 篇 计算机科学与技术...
- 6 篇 软件工程
- 3 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 电气工程
3 篇 理学
- 2 篇 系统科学
- 1 篇 物理学

主题

4 篇 computer securit...
4 篇 computers
4 篇 hardware
3 篇 operating system...
3 篇 us department of...
3 篇 kernel
2 篇 computer archite...
1 篇 file systems
1 篇 access control
1 篇 hierarchical sys...
1 篇 concurrent compu...
1 篇 bells
1 篇 communication sy...
1 篇 security of data
1 篇 monitoring
1 篇 computational mo...
1 篇 semantics
1 篇 application prog...
1 篇 information secu...
1 篇 security

机构

6 篇 dod computer sec...
3 篇 dod computer sec...
1 篇 dod computer sec...
1 篇 dod computer sec...

作者

2 篇 schell roger r.
2 篇 roger r. schell
1 篇 marvin schaefer
1 篇 bret a. hartman
1 篇 taylor tad
1 篇 woodie paul e.
1 篇 schaefer marvin
1 篇 tad taylor
1 篇 hartman bret a.
1 篇 paul e. woodie
1 篇 schell rr

语言

11 篇 英文

检索条件"机构=DoD Computer Security Center"

共 11 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A security KERNEL FOR A MULTIPROCESSOR MICROcomputer

引用

computer 1983年第7期16卷 47-53页

作者： SCHELL, RR DoD Computer Security Center

First Page of the Article

关键词： Kernel Microcomputers Hardware Information security computer security Protection Operating systems Secure storage File systems Communication system security

来源：评论

学校读者我要写书评

暂无评论

security enhancement through product evaluation 4

Security enhancement through product evaluation

引用

4th IEEE Symposium on security and Privacy, SP 1983

作者： Woodie, Paul E. DoD Computer Security Center United States

ISBN: (纸本)0818604670

This paper describes a major goal of the dod computer security center, which is to encouraqe the easy availability of computer products with enhanced security features. The mechanisms by which this is to be accomplished are described. There are detailed explanations of the Preliminary and Final Product Evaluation processes. The paper then takes a pragmatic view, from three perspectives, of how the process is actually working. Finally, an update is included, which describes the present status of the evaluation efforts underway. © 1983 IEEE.

关键词： security of data

来源：评论

学校读者我要写书评

暂无评论

Toward an Understanding of Extensible Architectures for Evaluated Trusted computer System Products 5

Toward an Understanding of Extensible Architectures for Eval...

引用

5th IEEE Symposium on security and Privacy, SP 1984

作者： Schaefer, Marvin Schell, Roger R. DoD Computer Security Center Fort George G. Meade MD United States

ISBN: (纸本)0818606290

It has been a tenet of the computer security research and development community that policy enforcement mechanisms must be designed into systems at the time of their conception rather than retrofitted on to existing systems. The paper examines what it means for an architecture to be extensible with respect to security. Results are shown of an examination of the Trusted computer System Evaluation Criteria's requirements in order to try to make a clear distinction based on how »fundamental» each is to the design and implementation of systems in the individual evaluation classes. We note that, given strict hierarchical layering in a system, along with a strict integrity policy mechanism such as the ring mechanism, it should be possible to extend a system through the addition of new adjacent domains. © 1984 IEEE.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Comparison Paper between the Bell and LaPadula Model 5

Comparison Paper between the Bell and LaPadula Model

引用

5th IEEE Symposium on security and Privacy, SP 1984

作者： Taylor, Tad DoD Computer Security Center Fort George G. MeadeMD20755 United States

ISBN: (纸本)0818606290

This paper provides a brief explanation of the two most cited models in the field of computer security and points out the basic differences between them. There ia a common misconception in the field that the MLS tool for HDM is designed to be an implementation of the Bell and LaPadula model. In fact, the MLS tool is an implementation of a model that resembles Bell and LaPadula in some aspects but is different in many, very important ways. Furthermore, this paper makea a plea for the community to be more precise in their usage of terms from the models and to identify the model with which they're dealing. © 1984 IEEE.

关键词： Bells

来源：评论

学校读者我要写书评

暂无评论

Evaluating security properties of computer systems 4

Evaluating security properties of computer systems

引用

4th IEEE Symposium on security and Privacy, SP 1983

作者： Schell, Roger R. DoD Computer Security Center Fort George G. MeadeMD20755 United States

ISBN: (纸本)0818604670

The Department of Defense has recently published Trusted computer System Evaluation Criteria that provide the basis for evaluating the effectiveness of security controls built into computer systems. This paper summarizes basic security requirements and the technical criteria that are used to classify systems into eight hierarchical classes of enhanced security protection. These criteria are used in specifying security requirements during acquisition, guiding the design and development of trusted systems and evaluating systems used to process sensitive information. © 1983 IEEE.

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

A Gypsy-Based Kernel 5

A Gypsy-Based Kernel

引用

5th IEEE Symposium on security and Privacy, SP 1984

作者： Hartman, Bret A. DoD Computer Security Center Fort George G. MeadeMD20755 United States

ISBN: (纸本)0818606290

Several members of the Research and Development Office at the dod computer security center are involved in an in-house research effort on security kernels called VIKING (Verified Implementationof a Kernel IN Gypsy). The primary objective of this work is to provide formally verified implementation of security kernel targeted specifically for communications applications. For this reason, the VIKING kernel is a »separation kernel»;its requirements are different from previous general purpose operating system security kernels. This kernel will not directly enforce traditional multilevel security (MLS), but will instead form a foundation for the security of application programs. MLS properties enforced in the application will be proved based on the fundamental properties proved in the kernel. The kernel will support concurrency, interprocess communication (IPC), and will enforce isolation between processes. The kernel performs these functions by implementing the Gypsy cobegin and buffer communication mechanisms. © 1984 IEEE.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Evaluating security Properties of computer Systems

Evaluating Security Properties of Computer Systems

引用

IEEE Symposium on security and Privacy

作者： ROGER R. SCHELL DoD Computer Security Center

关键词： computers Hardware Operating systems US Department of Defense computer security

来源：评论

学校读者我要写书评

暂无评论

Comparison Paper between the Bell and LaPadula Model

Comparison Paper between the Bell and LaPadula Model

引用

IEEE Symposium on security and Privacy

作者： Tad Taylor DoD Computer Security Center

关键词： Computational modeling computers computer security US Department of Defense Mathematical model Abstracts

来源：评论

学校读者我要写书评

暂无评论

security Enhancement through Product Evaluation

Security Enhancement through Product Evaluation

引用

IEEE Symposium on security and Privacy

作者： Paul E. Woodie DoD Computer Security Center

关键词： computers US Department of Defense computer security Availability Operating systems

来源：评论

学校读者我要写书评

暂无评论

A Gypsy-Based Kernel

A Gypsy-Based Kernel

引用

IEEE Symposium on security and Privacy

作者： Bret A. Hartman DoD Computer Security Center

Several members of the Research and Development Office at the dod computer security center are involved in an in-house research effort on security kernels called VIKING (Verified Implementationof a Kernel IN Gypsy). The primary objective of this work is to provide formally verified implementation of security kernel targeted specifically for communications applications. For this reason, the VIKING kernel is a "separation kernel"; its requirements are different from previous general purpose operating system security kernels. This kernel will not directly enforce traditional multilevel security (MLS), but will instead form a foundation for the security of application programs. MLS properties enforced in the application will be proved based on the fundamental properties proved in the kernel. The kernel will support concurrency, interprocess communication (IPC), and will enforce isolation between processes. The kernel performs these functions by implementing the Gypsy cobegin and buffer communication mechanisms.

关键词： Kernel security Formal verification Hardware Concurrent computing Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共2页 << < 1 2 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：