张建标 作品数:175 被引量:120 H指数:7 供职机构: 北京工业大学 更多>> 发文基金: 北京市自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 自然科学总论 更多>>
一种对含有特殊转换过程的非通用有限状态机进行改造的方法 本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法,属于系统测试领域,具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换,本发明提出一种FSM模型改造方法,将非通用... 张建标 杨宇泽 崔玲 刘红宇 艾蓉文献传递 基于Netfilter的数据采集技术在实时内容过滤中的应用 被引量:7 2006年 针对基于系统调用的数据包捕获机制的缺陷,结合内容过滤的特点,对底层数据采集技术进行改进。利用Netfilter框架在Linux核心态下捕获数据包,还原出原始数据。利用内存映射技术,建立核心态和用户态的接口。 孙鸿斌 张建标关键词:数据采集 NETFILTER 内存映射 基于独立内核的Kata容器的完整性度量方法及装置 本发明提供一种基于独立内核的Kata容器的完整性度量方法及装置,方法包括:在Kata容器的虚拟机启动前,对虚拟机镜像文件进行完整性度量,并在度量成功后启动虚拟机;在启动虚拟机后,获取容器基础镜像文件以及对容器基础镜像文件... 张建标 余乐浩 韩宇飞可信证明方法、装置和电子设备 本发明提供一种可信证明方法、装置和电子设备,包括:响应于用户的登录指令,向可信管理平台发送背书密钥;接收可信管理平台发送的用户实例登录成功信息;基于与可信管理平台的交互信息实现平台身份密钥的签发与验证,存储平台身份密钥证... 张建标 韩宇飞 黄昊翔 胡俊一种BMC可信审计日志的生成与管理方法 一种BMC可信审计日志的生成与管理方法属于单位核心敏感信息安全技术领域,其特征在于,鉴于该类信息具有层次全、隐蔽性强、变形快、生命周期短、种类多,体量小的特点,本发明以文件收到日、作者密码、关键词的词频组成特征值,构建了... 张建标 张璐 韩利 赵东浩 王艳文献传递 基于DHT网络的证书分布式存储模型 2012年 为了解决服务器的单点失效问题,使用分布式哈希表(distributed Hash table,DHT)网络完成了证书的存储与分发的功能.DHT网络的强大健壮性可以为证书的存储、分发和撤销提供一个稳定的存储平台.在这样的环境中,即使服务器出现工作异常,用户仍可获得并验证所需的证书. 张涵 张建标 张涛关键词:分布式存储 分布式哈希表 一种基于WMI软件白名单机制的移动安全办公方法 一种基于WMI软件白名单机制的移动安全办公方法,属于终端设备安全办公技术领域,其特征在于:将软件多种属性作为软件属性参数序列和设置的编号拼成应用软件白名单,加上计算机初装机时的系统PE文件拼成的系统软件白名单共同组成总体... 张建标 雷声威 阎林 刘燕辉 公备文献传递 一种联网式专用服务器的可信启动和安全运行方法 联网式专用服务器的BMC可信启动和安全运行方法属于BMC可信启动领域其特征在于,构建一个由互联网中央控制器和各专用服务器构成的二级系统网,为一对多、一对一的通信分别提供了不同密级的通信方式,在启动时刻t1使用在初始时刻t... 张建标 王超 韩现群 韩利文献传递 一种能在可信启动的过程中辨别故障程序段的方法 一种能在可信启动的过程中辨别故障程序段的方法,属于启动故障识别领域,其特征在于在启动过程中将可信BIOS程序按照语句的分段标识符对可信BIOS程序进行整体分段。以可信BIOS各段程序的码长为变量;用可信计算方法得到每个程... 张建标 张恒 韩现群 刘燕辉文献传递 基于集合覆盖的Wp方法测试集约简方法 被引量:1 2016年 为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律,删除冗余的测试用例.理论分析和实验结果表明:该方法能够有效约简测试集,并且不改变故障检测能力. 崔玲 张建标 公备 吴丽影