-
题名机器语言的类型化及代码的安全检查
被引量：1
- 1
-
-
作者
胡荣贵
陈意云
郭帆
-
机构
中国人民解放军电子工程学院系统工程教研室
中国科学技术大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2004年第6期965-971,共7页
-
基金
国家自然科学基金项目 ( 60 173 0 49)
-
文摘
根据类型系统思想 ,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统 机器语言代码虽然是一种无类型的二进制编码 ,但其类型信息被隐含在指令的操作语义中 ,利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性 由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令 ,因此 。
-
关键词
类型系统
类型安全
子定型
-
Keywords
type system
type safety
subtyping
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于COM的通信对抗仿真软件设计
- 2
-
-
作者
袁泉
邵立
石昭祥
-
机构
解放军电子工程学院系统工程教研室
-
出处
《兵工自动化》
2003年第3期1-3,共3页
-
文摘
组件对象模型(COM)是开发和使用组件组装程序的标准,通过GUID来标识COM对象。一个组件包含多个COM对象,每个COM对象可实现多个接口。活动模板库(ATL)是一组基于C++ 模板的类,提供了许多基本COM接口的内置支持,用于简化COM组件的创建。通信对抗系统由信号源、编码器、发射机、信道、干扰机、接收机、解码器和分析评估显示等模块组成,基于COM的仿真软件中将其设计为3大类组件,并为主程序(即客户)调用的服务提供了数据输入/输出、模块参数设置、开始执行仿真、数据处理完毕等5个统一接口,通过组合就可得到不同类型的通信对抗仿真系统。
-
关键词
组件对象模型
COM
通信对抗仿真软件
软件设计
接口
ATL
活动模板库
-
Keywords
Communication countermeasure
Simulation software
COM
-
分类号
TN914
[电子电信—通信与信息系统]
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名运用邻接矩阵法重现目标网络拓扑结构
被引量：2
- 3
-
-
作者
邵立
徐贵勇
黄曙光
-
机构
解放军电子工程学院系统工程教研室
-
出处
《兵工自动化》
2003年第2期26-28,共3页
-
文摘
从目标网络管理信息获知整个网络拓扑结构,通过Internet实施网络攻击,是信息战关注的课题。从分析SNMP协议安全策略得知,非法外部程序可用共同体名冒充合法网管程序与设备中的SNMP代理进程通信,并利用Get/Set从代理进程获取被管对象信息,操作数据单元从代理进程获得设备路由表、链路表配置。据此,提出用图论和矩阵重现目标网络拓扑结构的邻接矩阵法。该方法利用交换机中的路由表,找出网络中各离散主机间的网络关系。由于网络设备和主机间的连接可用无向图表示,其节点间连接可表示成邻接矩阵,邻接矩阵也可转换成无向图。而该无向图正是根据主机和设备的路由表分析出的该网络的部分拓扑关系,进而就可获得主干网络拓扑结构。
-
关键词
邻接矩阵法
目标网络
拓扑结构
网络安全
SNMP
简单网络管理协议
路由表
-
Keywords
Network management
SNMP agent
Agent process
Adjacency matrix
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
