关键词: 评估要素  关系模型  风险评估  安全等级保护  信息系统  因果关系  安全要素  形式化描述  内在联系  一般模型  安全措施  相互作用  状态特征  分析基  动态性  脆弱性  

2005年第03期 《工程科学与技术》

关键词: scada  安全防御  形式化描述  

2015年第01期 《信息技术与网络安全》

关键词: bpel服务  形式化描述  验证  

2010年第22期 《信息技术与网络安全》

关键词: tcp协议  有色petri网  形式化描述  可达树  

2012年第08期 《社会科学动态》

关键词: 形式化描述  自动识别  组成结构  文字  技术发展水平  信息处理技术  分解算法  分段处理  

2018年第03期 《中国信息化》

关键词: 铁路交叉道口系统  形式化描述  

2009年第03期 《轻工学报》

关键词: 软件代码安全性缺陷  一阶逻辑  模式路径  静态分析  形式化描述  

2014年第01期

关键词: 形式化模型  形式化描述  拓扑关系  面目标  形式化方法  广义模型  目标集  gis  空间目标  发现  

2005年第01期 《测绘学报》

关键词: 有色petri网  软件开发  形式化描述  图形表达  

2004年第03期 《兰州理工大学学报》

关键词: 门级信息流分析  多值逻辑  标签传播规则  形式化描述  glift逻辑  

2017年第05期 《西北工业大学学报》

关键词: 信息系统  安全  基本原理  有限状态机  abc模型  blp模型  形式化描述  关联操作  操作平台  角色  权限  用户  

2005年第02期 《西华师范大学学报·哲学社会科学版》

关键词: 领域类库  软件复用  形式化描述  类部件  同源机制  

2005年第06期 《江苏大学学报·社会科学版》

关键词: 指挥信息系统  本体建模  形式化描述  可重用  反导作战  

2017年第06期 《指挥控制与仿真》

关键词: 智能变电站  scd模型  二次安措  形式化描述  隔离校核  

2018年第24期 《电力系统保护与控制》

关键词: 智能变电站  继电保护  scd模型  安措  形式化描述  

2018年第22期 《电力系统保护与控制》

关键词: 联合作战  信息交换模型  形式化描述  数据模型  

2018年第03期 《系统仿真技术》

关键词: rsa算法  形式化描述  密码学  协议  网络  

2012年第11期 《程序员》

关键词: mld  二层交换机  igmp  多播  数据流  设备构成  形式化描述  高性能网络  局域网  原理分析  

2005年第01期 《云南民族大学学报·自然科学版》

关键词: fe模型  拓扑法建模  click软件路由器  click  体系结构  实验性研究  软件路由器  形式化描述  

2005年第10期 《计算机应用与软件》

关键词: 文件系统  免疫模型  文件完整性检查  fix  形式化描述  系统恢复  实时  策略  机制  用户  

2005年第01期 《计算机应用与软件》