一种基于状态融合的协议状态机推断方法

针对现有协议状态机推断方法忽视协议系统输入输出报文之间的内在关系,导致自动化程度较低等问题,提出一种基于状态融合的协议状态机推断方法。首先采集会话样本,将会话过程的输入输出报文序列抽象为符号序列;然后采用扩展前缀树转换器(EPTT)构建初始状态机,通过各状态对相同输入符号序列的状态转换和输出响应评判其相似度,依据相似度的高低搜寻候选状态对并尝试对其融合,同时有针对性地构造测试用例以验证此次融合的正确性。上述流程反复执行,直到没有可融合的状态。结果表明,该方法自动化程度较高,推断出的结果与真实协议状态机高度吻合。     

数据链规划技术

数据链是一种汇集通信、导航和识别的综合化战场信息系统。为了保证在960～1215MHz频段工作的各类设备的电磁兼容，数据链的使用必须符合操作约束和协调约束，必须在满足各类约束条件下，根据数据链的作战需求实现网络规划。针对数据链规划问题，首先分析了数据链存在的典型约束，在此基础上对数据链规划问题建模，提出了一种数据链规划的启发式算法，较好地解决了数据链规划问题。     

请求驱动的服务组合访问控制

提出了一种基于服务请求的角色映射与策略集成机制来解决服务组合中的访问控制问题.为了准确有效地建立域间角色映射,提出了唯一可映射集(unique mapping set,UMS)的概念,通过求取和搜索对应局部域角色层次的UMS,可找到满足外部服务请求的最合适可映射角色集.为了解决由于角色映射造成的域间策略冲突,将角色映射...