作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

计算机信息系统安全等级划分准则解读  CNKI文献

介绍了最近公布的国家标准“计算机信息系统安全保护等级划分准则”( GB1 7859— 1 999)的主要内容。标准中把计算机信息系统划分为 5个安全保护级别 :用户自主保护级、系统审计保护级、安全标记保护级、结构化保护级...

肖军模 《解放军理工大学学报(自然科学版)》 2000年05期 期刊

关键词: GB17859 / 安全级别 / 安全保护等级划分准则

下载(174)| 被引(9)

对军用安全模型的扩展  CNKI文献

军用安全模型是一种适合于诸如政府部门、军队等涉密组织,信息系统内对信息流进行控制的多级安全模型,原理是依据线性格与子集格的乘积格实施信息流控制的,但所描述的关系在实际应用中存在着缺陷。新模型则利用敏感级...

肖军模 《电子科技大学学报》 2005年02期 期刊

关键词: 军用安全模型 / 信息流策略 / 多级安全 / 格安全模型

下载(104)| 被引(6)

重视信息系统安全理论的研究与应用  CNKI文献

本文针对国内在开发信息系统的过程中不重视信息安全理论应用的现状,提出了作者的应该在信息安全理论指导下开发安全信息系统的观点。文中首先介绍信息系统安全的基本原理和适用于安全信息系统的三大安全控制策略及其...

肖军模 《中国数据通信》 2005年05期 期刊

关键词: 安全理论 / 安全模型 / 安全信息系统 / 信息安全

下载(102)| 被引(5)

网络信息安全技术讲座(一)——第1讲 网络信息安全概论  CNKI文献

文中综合性地介绍了信息安全领域的主要知识和信息安全技术与理论的发展阶段。在第一部分首先介绍信息安全与信息对抗的概念和信息安全的需求,用层次的观点简要介绍网络环境下硬件层、操作系统层、计算网络层、数据库...

肖军模 《军事通信技术》 2002年04期 期刊

关键词: 信息安全 / 信息对抗 / 信息保障

下载(191)| 被引(2)

探讨JAVA的安全性改造与验证  CNKI文献

讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了...

肖军模 刘军... 《电子科技大学学报》 2007年03期 期刊

关键词: 信息流安全控制 / 军用安全模型 / 程序安全性验证 / 安全程序语言

下载(76)| 被引(1)

Petri网在保护系统安全性分析中的应用  CNKI文献

介绍了用Petri网描述获取授予系统的PTGS模型的方法 ,并利用PTGS模型探讨保护系统中访问权利泄漏或被窃取的问题 .利用PTG 路径、“桥”、“岛屿”等概念形式地解决了该问题 .虽然已经有人利用有向图的TGS模型解决过这...

肖军模 《东南大学学报(自然科学版)》 2003年06期 期刊

关键词: 获取-授予系统 / 权利转移 / 权利泄漏 / TGS

下载(85)| 被引(1)

网络信息安全技术讲座(四) 第8讲 信息安全管理国际标准 ...  CNKI文献

对信息实施安全管理是保障信息安全的极其重要的环节,文中介绍现已作为国际标准的英国工业标准BS7799的主要内容。该标准详细规定了信息安全方针、安全组织、资产分类与控制、人员安全、物理与环境安全、通信与操作管...

肖军模 《军事通信技术》 2003年03期 期刊

关键词: 信息安全管理 / 英国标准BS7799 / 信息安全

下载(71)| 被引(1)

时态次序说明语言-LOTOS  CNKI文献

本文介绍ISO最新开发的一种形式描述技术——LOTOS语言,这种语言以数学方法描述进程外观行为的时态次序,它定义了以事件为运算对象对行为表达式进行运算的一整套规则和相应的形式证明规则,从而为协议的正确说明与验证...

肖军模 《计算机工程与应用》 1987年01期 期刊

关键词: LOTOS / 表达式 / 进程 / 次序

下载(44)| 被引(0)

ISO和CCITT的形式描述技术  CNKI文献

为了获得协议的精确和无二义性的说明,形式描述技术是需要的。本篇文章中,将介绍ISO和CCITT的形式描述技术。这些技术包括CCITT的SDL和ISO的形式描述语言ESTTELLE和LOTOS。ESTELLE和包含SDL/GR,SDL/PR,与Pascal类的X....

肖军模 《通信学报》 1987年04期 期刊

关键词: 形式定义 / CCITT / 进程 / 形式描述技术

下载(24)| 被引(1)

探讨OSI协议的开发系统  CNKI文献

本文介绍了OSI协议的开发系统和每个开发阶段上各种可用技术的选择与评价.最后讨论了ESTELLE语言的实现问题.

肖军模 《计算机学报》 1989年10期 期刊

关键词: FDT / EFSM / 队列指针 / 模块

下载(18)| 被引(1)

PETRI网与ISO传输协议的形式描述  CNKI文献

本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进行了分析,然后讨论了所给的结果。描述协议的Petri网不仅可以对协议进行验证说明,而且...

肖军模 《计算机学报》 1987年01期 期刊

关键词: 传输协议 / 可达树 / 可达图 / 传输规约

下载(33)| 被引(0)

在VAX/VMS上实现ESTELLE的并发功能  CNKI文献

在文献[1]中曾介绍了在IBM/PC机上实现的ESTELLE语言(以下简称E)编译系统及其半自动生成工具。由于机型限制,在那个系统中未实现E的并发功能,最近我们在VAX/VMS系统上实现了这一功能,下面对此加以介绍。

肖军模 徐越彦 《计算机学报》 1991年06期 期刊

关键词: 模块 / VAX/VMS / MCB / 模件

下载(8)| 被引(1)

TG-OMNINET局部网络的研制及其主要性能  CNKI文献

本文介绍的TG-OMNINET(TG代表通工)网络软件,是我院研制的某机关办公自动化计算机分系统中的一个组成部分。这里着重介绍系统的保密性和实时性两个方面,也就是对网络用户和对文件、信件的管理以及第三者插入的点对点实...

肖军模 钟共鸣... 《军事通信技术》 1986年02期 期刊

关键词: 文件 / 网络用户 / 信件 / 点对点通信

下载(6)| 被引(0)

远程作业录入协议的实现  CNKI文献

本文介绍了一个在环形局部网和中型机的远程联网上实现的远程作业录入协议,着重探讨了OSI参考模型中高四层所提供的主要功能的实现。最后还介绍了一种不直接涉及操作系统本身而是通过系统提供的作业控制语言(JCL)来实...

肖军模 张毓森 《计算机应用与软件》 1986年06期 期刊

关键词: 作业步 / 作业录入 / 主要功能 / 局部网

下载(6)| 被引(0)

ISO和CCITT的形式描述技术间的差别  CNKI文献

本文着重介绍ISO和CCITT两个组织的形式描述技术之间,在系统模型、扩展状态转移模型以及语言成分等方面的差别。了解这些差别,对正确理解两个组织的协议形式描述文本以及两种形式描述技术之间的互相转换,是有帮助的。

肖军模 《计算机研究与发展》 1988年08期 期刊

关键词: 形式描述技术 / SDL / CCITT / 数据类型

下载(1)| 被引(0)

微机局部网与中型机的远程联网  CNKI文献

本文介绍了一个环形局部网和中型机的连同方案及其实现方法,着重说明怎样使用单板机实现不同规程之向的一种转换方法。最后介绍了在这个网上实现的远程作业录入协议。

肖军模 张玉森 《军事通信技术》 1985年02期 期刊

关键词: 接口机 / 微机 / 微型计算机 / 局部网络

下载(3)| 被引(0)

无线传感器网络安全研究综述  CNKI文献

无线传感器网络有着良好的应用前景,其安全问题同样受到了人们的高度重视。论文首先对无线传感器网络进行了简要的介绍,而后总结了这种网络的安全相关特点以及其存在的安全威胁,随后分别综述了无线传感器网络的三个安...

刘军 肖军模 《军事通信技术》 2008年01期 期刊

关键词: 无线传感器网络 / 安全 / 路由 / 协议

下载(569)| 被引(5)

基于角色的对OWL本体的访问控制模型  CNKI文献

本体是对共享概念明确的形式化规范说明,是语义Web实现的关键技术。当前语义Web缺乏对本体有效的访问控制手段,因此本体的发布必然会导致相关领域敏感信息的泄露。提出了一个基于角色的OWL本体访问控制模型,该模型充分...

陆阳 肖军模... 《计算机工程与应用》 2008年30期 期刊

关键词: 本体 / 访问控制 / 基于角色 / 语义关联

下载(108)| 被引(6)

Ad Hoc网络的安全问题和安全策略  CNKI文献

AdHoc网络作为一种无线移动网络正成为网络研究 ,特别是军事研究的一个热点。由于AdHoc网络的特点 ,其安全问题和安全策略正受到越来越广泛的重视。文中介绍了AdHoc网络的特点 ,论述了AdHoc网络和路由协议的安全问题 ...

周海刚 肖军模 《电信科学》 2001年12期 期刊

关键词: Ad / Hoc / 网络安全 / 安全策略

下载(452)| 被引(44)

一种新的安全协议形式化分析方法——证据逻辑  CNKI文献

形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相...

陆阳 肖军模... 《计算机工程》 2008年02期 期刊

关键词: 安全协议 / 形式化分析 / 证据逻辑

下载(212)| 被引(3)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

民国的腔调