-
公开(公告)号：CN104572458B
公开(公告)日：2017-05-24
申请号：CN201410843291.0
申请日：2014-12-30
Applicant: 北京工业大学
Abstract: 基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于，依次含有以下步骤：利用Wp方法处理计算机仿真系统有限状态机模型M1生成测试用例集、为模型M1构造覆盖需求集、利用集合覆盖贪心算法对模型M1生成的测试用例集进行约简得到约简集、根据无线传感器网络系统描述所述系统有限状态机模型M2、利用Wp方法处理模型M2生成测试用例集、为模型M2构造覆盖需求集、利用集合覆盖贪心算法对模型M2生成的测试用例集进行约简得到约简集、利用模型M2的测试用例约简集，进行系统测试。本发明与传统的所述系统测试相比，测试用例集规模小，检测能力强，实际系统测试效率高。
-
公开(公告)号：CN104618333A
公开(公告)日：2015-05-13
申请号：CN201410842862.9
申请日：2014-12-30
Applicant: 北京工业大学
Abstract: 一种移动终端安全办公系统属于移动设备安全办公技术领域，其特征在于，是由一个移动安全办公服务器端和多个移动安全办公终端共同组成的系统，服务器端用部门标识符限定部门职责权限及其所能下载的软件；用由部门标识符和员工终端的PIN码连接组成的用户身份验证码来识别用户身份，用在硬盘上设定的双操作系统来确保办公用的工作区和活动用的用户区之间的数据互访控制，用终端中用户设定的硬盘过滤驱动模块中的中断处理构造IRP的格式及用户身份验证码、软件属性参数序列、访问控制标识符以及读写操作标识来控制外部中断处理操作的访问。本发明同时实现了服务器端的下载安全；工作区与用户区之间的数据流的安全以及对外部中断处理的安全控制。
-
公开(公告)号：CN104573527A
公开(公告)日：2015-04-29
申请号：CN201410844498.X
申请日：2014-12-30
Applicant: 北京工业大学
CPC classification number: G06F21/57 , G06F21/64 , G06F2221/2107
Abstract: 本发明公开了一种基于更新安全机制的UEFI系统更新方法,属于计算机软件系统领域，具体涉及一种UEFI系统更新方法，UEFI更新安全机制由分发、验证两个方法组成，用以确保加载至系统的更新文件不受篡改、不受非法访问，并且与硬件兼容。通过利用数字签名、加密技术，在更新文件之外封装一层可验证其安全性的外层数据，然后在更新安全机制的验证方法中通过建立DXE驱动，对这一外层数据进行检测，从而判断更新文件是否完整，是否被篡改，是否为非法使用以及是否与硬件兼容。
-
公开(公告)号：CN104573464A
公开(公告)日：2015-04-29
申请号：CN201410843306.3
申请日：2014-12-30
Applicant: 北京工业大学
IPC: G06F21/33
CPC classification number: G06F21/33
Abstract: 本发明公开了一种基于USB控制器的办公终端系统可重入方法,本发明涉及计算机信息安全领域，尤其涉及一种办公系统基于数字证书的USB控制器登录控制方案。本发明提供一种基于USB控制器的办公终端系统可重入方法。在USB控制器丢失后，由管理员持公共USB控制器进入办公系统终端工作区环境，安装部署新的数字证书的方法。为实现这个目的，本发明的技术解决方案是在工作区环境安装两个数字证书：用户数字证书和公共数字证书，提供了每个用户唯一的USB控制器以及管理员保管的公共USB控制器，在用户唯一的USB控制器丢失后，管理员使用公共USB控制器进入用户的工作区环境，重新安装部署用户证书，配发新的用户USB控制器，避免因USB控制器丢失无法访问用户工作区环境造成损失。
-
公开(公告)号：CN104572458A
公开(公告)日：2015-04-29
申请号：CN201410843291.0
申请日：2014-12-30
Applicant: 北京工业大学
Abstract: 基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于，依次含有以下步骤：利用Wp方法处理计算机仿真系统有限状态机模型M1生成测试用例集、为模型M1构造覆盖需求集、利用集合覆盖贪心算法对模型M1生成的测试用例集进行约简得到约简集、根据无线传感器网络系统描述所述系统有限状态机模型M2、利用Wp方法处理模型M2生成测试用例集、为模型M2构造覆盖需求集、利用集合覆盖贪心算法对模型M2生成的测试用例集进行约简得到约简集、利用模型M2的测试用例约简集，进行系统测试。本发明与传统的所述系统测试相比，测试用例集规模小，检测能力强，实际系统测试效率高。
-
Patent Agency Ranking
公开(公告)号：CN101729602B
公开(公告)日：2012-10-24
申请号：CN200910241878.3
申请日：2009-12-11
Applicant: 北京工业大学
Abstract: 一种获取P2P视频系统节目信息的方法，属于P2P网络监控领域，其特征在于，用一个选择性的安装在P2P视频客户端播放器所在主机上的P2P视频节目信息采集模块来捕获、过滤出该P2P视频客户端播放器与P2P视频服务器通信过程中由所述P2P视频客户端播放器向该P2P视频服务器发出的TCP数据包，提取超文本传输协议HTTP，并对HTTP协议进行还原，形成资源统一定位地址URL请求信息并将此URL所指向的包含P2P视频节目信息的文本文件下载到本地，再用预设的与每一个用ID标识的P2P视频系统相一一对应解析方法解析出所述对应文件中包含的P2P视频节目信息。本发明具有对硬件要求低、与P2P视频发布系统无关、实时性强、节目信息全面、详细、完整和准确的优点。
-
公开(公告)号：CN101741844B
公开(公告)日：2012-06-20
申请号：CN200910241877.9
申请日：2009-12-11
Applicant: 北京工业大学
CPC classification number: H04L67/104 , H04L67/06 , H04L67/1063
Abstract: 一种基于中心索引的P2P文件共享网络的对等节点发现方法属于P2P网络监控领域。其特征在于，通过以索引服务器为中心的星形网络和伪客户端，实现P2P文件共享网络的对等节点发现，依次含有以下步骤：发现尽可能多的索引服务器；搜索大量共享文件信息；通过索引服务器发现对等节点，构筑对等节点列表；基于共享文件信息，通过对等节点进行基于来源交换的其他对等节点的发现。本发明的优点在于能最大限度地进行对等节点的发现，有利于对传播于P2P网络上的共享文件信息进行有效的最大化的监督。
-
公开(公告)号：CN101477640B
公开(公告)日：2011-01-05
申请号：CN200910076300.7
申请日：2009-01-09
Applicant: 北京工业大学
Abstract: 一种基于现场可编程门阵列的识别卡接口控制器，Avalon开关互联模块与识别卡接口控制器通过接口A连接识别卡接口控制器通过接口B与识别卡连接，并对识别卡的状态进行操作；识别卡接口控制器包括：中断请求模块、时钟发生模块、控制/状态模块、采样时钟模块、接收/发送模块。该实现方法包括：接入接口模块；接口模块激活；识别卡和接口模块之间进行信息交换；应答状态判断。该控制器通过灵活的时钟配置将总线时钟调节为GB/T16649.3中要求的对识别卡操作所需的时钟频率，可随时对识别卡进行热复位并响应复位应答，整个接口控制器实用性强，有效支持嵌入式系统的拓展和开发。
-
公开(公告)号：CN100587740C
公开(公告)日：2010-02-03
申请号：CN200710175579.5
申请日：2007-09-30
Applicant: 中商流通生产力促进中心有限公司 , 北京工业大学 , 青岛海信智能商用设备有限公司 , 北京雅普兰科技发展有限公司 , 广东亿业科技有限公司
IPC: G07G1/12
Abstract: 本发明公开一种网络税控系统的税控数据申报方法。该方法包括：税控服务器确认用户卡有效后，根据上次申报数据日期到当前指定日期的报税时间区间信息以及税控服务器存储的税控源数据生成申报数据，在税控卡上写入所述申报数据，通过税控卡对所述申报数据签名，并根据所述税控卡签名的申报数据在用户卡上写入申报数据；或税控服务器指示网络税控器申报税控数据，网络税控器申报税控数据至税控服务器。本发明实施例还提供了一种数据稽查处理方法，包括：税控服务器获取税控管理卡中的稽查任务信息，根据所述稽查任务信息将对应的待稽查税控数据写入税务管理卡。实现了在网络环境下准确、安全的申报、稽查税控数据。
-
公开(公告)号：CN101477640A
公开(公告)日：2009-07-08
申请号：CN200910076300.7
申请日：2009-01-09
Applicant: 北京工业大学
Abstract: 一种基于现场可编程门阵列的识别卡接口控制器与实现方法，该控制器的主设备与Avalon开关互联模块；Aval on开关互联模块与识别卡接口控制器通过接口A连接识别卡接口控制器通过接口B与识别卡连接，并对识别卡的状态进行操作；识别卡接口控制器包括：中断请求模块、时钟发生模块、控制/状态模块、采样时钟模块、接收/发送模块。该实现方法包括：接入接口模块；接口模块激活；识别卡和接口模块之间进行信息交换；应答状态判断。该控制器通过灵活的时钟配置将总线时钟调节为GB/T16649.3中要求的对识别卡操作所需的时钟频率，可随时对识别卡进行热复位并响应复位应答，整个接口控制器实用性强，有效支持嵌入式系统的拓展和开发。
-
-
-
-
-
-
-
-
-
Search Results
145
records
(took 0.057 seconds)
