检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

域名生成算法检测技术综述

计算机科学 2024年第8期51卷 371-378页

作者：汪绪先黄缙华翟优李础南王宇张宇鹏张翼鹏杨立群李舟军中国南方电网公司重点实验室电网自动化实验室广州510080 广东电网有限责任公司电力科学研究院广州510080 北京航空航天大学计算机学院北京100191 北京航空航天大学网络空间安全学院北京100191 北方工业大学信息学院北京100144

C&C服务器是网络攻击者用于控制僵尸主机的中间服务器,在僵尸网络中处于核心位置。为增强C&C服务器的隐蔽性,网络攻击者使用域名生成算法来隐藏C&C服务器地址。近年来,域名生成算法检测技术作为检测僵尸网络的重要手段,已经成为一个研... 详细信息

C&C服务器是网络攻击者用于控制僵尸主机的中间服务器,在僵尸网络中处于核心位置。为增强C&C服务器的隐蔽性,网络攻击者使用域名生成算法来隐藏C&C服务器地址。近年来,域名生成算法检测技术作为检测僵尸网络的重要手段,已经成为一个研究热点。首先,介绍了当前网络安全的发展态势和僵尸网络的拓扑结构。其次,介绍了域名生成算法和相关数据集。接着,介绍了域名生成算法检测技术的分类,并对这些检测技术进行总结综述。最后,探讨了现阶段域名生成算法检测技术存在的问题,并对未来研究方向进行了展望。

关键词：僵尸网络 C&C服务器域名生成算法域名生成算法检测网络安全威胁

同方期刊数据库

基于Horn扩展逻辑的非否认协议建模与验证

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2012年第10期52卷 1488-1495页

作者：徐畅李舟军郭华张帆北京航空航天大学软件开发环境国家重点实验室北京100191

该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、... 详细信息

该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、恶意主体、仲裁进行了建模,提出了针对非否认协议的验证算法;通过使用Horn逻辑扩展模型对Zhou-Gollmann协议进行验证,得到Witness和Request事实并不匹配的结论,说明了Zhou-Gollmann协议并不具有公平性;该文对不动点计算过程进行了优化,通过将规则分为解形式规则和非解形式规则,避免了进行X-消解时对规则的逐条比较。

关键词：非否认性公平性 Horn逻辑扩展模型解形式不动点

在线全文

学校读者我要写书评

暂无评论

QBF求解算法研究综述

计算机研究与发展 2011年第5期48卷 811-822页

作者：李舟军陈石坤国防科学技术大学计算机学院长沙410073 北京航空航天大学计算机学院北京100191

近10年来,布尔可满足性(SAT)求解技术飞速发展,并已经成功应用于模型检验、定理证明等领域,特别是在限界模型检验(BMC)中取得了明显的进展,然而,由于命题逻辑公式的长度随系统规模指数倍增长,基于SAT的模型检验仍然存在状态空间爆炸问题... 详细信息

近10年来,布尔可满足性(SAT)求解技术飞速发展,并已经成功应用于模型检验、定理证明等领域,特别是在限界模型检验(BMC)中取得了明显的进展,然而,由于命题逻辑公式的长度随系统规模指数倍增长,基于SAT的模型检验仍然存在状态空间爆炸问题.带量词的布尔公式(QBF)作为SAT公式的自然扩展,具有紧凑的空间结构、更强大、更直观的表达能力,能够简洁地描述模型检验中的公式.基于QBF的模型检验有希望缓解状态空间爆炸问题,成为当前研究的一个热点.总结了当前主流的QBF求解算法及常用的优化技术,指出了该领域中值得关注的新趋势.

关键词： SAT QBF 求解算法模型检验形式化验证

在线全文

学校读者我要写书评

暂无评论

Smalltalk－80的指称语义研究

软件学报 1995年第7期6卷 385-390页

作者：李舟军王兵山长沙工学院计算机系

Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

关键词：面向对象指称语义 Smalltalk语言程序语言

基于Petri网的双重数字签名的描述与验证

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2008年第9期20卷 2498-2501页

作者：林松李舟军北京航空航天大学计算机学院北京100083

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了... 详细信息

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。

关键词： Petri网密码协议可达树双重数字签名

在线全文

学校读者我要写书评

暂无评论

评分偏差对于推荐质量的影响

北京航空航天大学学报 2012年第6期38卷 823-828页

作者：胡必云李舟军王君巢文涵北京航空航天大学软件开发环境国家重点实验室北京100191 北京航空航天大学计算机学院北京100191 北京航空航天大学北京市网络技术重点实验室北京100191

从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致... 详细信息

从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致推荐准确度及覆盖度下降;基于高质量的评分数据,协同过滤算法可为用户作出好的推荐.

关键词：人工智能信号过滤与预测信息检索评分偏差数据质量协同过滤推荐准确度覆盖度

在线全文

学校读者我要写书评

暂无评论

基于逻辑程序的安全协议验证

计算机学报 2004年第10期27卷 1361-1368页

作者：李梦君李舟军陈火旺国防科学技术大学计算机学院长沙410073

安全协议本质上是分布式并发程序 ,可以自然地描述为多个子进程的并发合成系统 .将安全协议对应的并发合成系统抽象为逻辑程序进行消解 ,能够对安全协议无穷多个会话的交叠运行进行验证 .该文提出了安全协议逻辑程序中逻辑规则的一个分... 详细信息

安全协议本质上是分布式并发程序 ,可以自然地描述为多个子进程的并发合成系统 .将安全协议对应的并发合成系统抽象为逻辑程序进行消解 ,能够对安全协议无穷多个会话的交叠运行进行验证 .该文提出了安全协议逻辑程序中逻辑规则的一个分类方法 ,基于该分类方法提出了安全协议逻辑程序不动点的迭代计算方法 .逻辑规则的分类优化了安全协议逻辑程序不动点的迭代计算和安全性质验证过程中的计算 .由于安全协议逻辑程序不动点迭代计算过程不一定终止 ,文中提出了每进行k 1步安全协议逻辑程序不动点迭代计算验证一次安全性质的验证策略 .

关键词：安全协议逻辑程序不动点验证策略验证互联网络通信安全

在线全文

学校读者我要写书评

暂无评论

微阵列数据癌症分类问题中的基因选择

计算机研究与发展 2009年第5期46卷 794-802页

作者：张丽娟李舟军国防科学技术大学计算机学院长沙410073 北京航空航天大学计算机科学与工程学院北京100083

微阵列数据广泛而成功地应用于生物医学的癌症分类研究.一个典型的微阵列数据集包含大量(通常成千上万,甚至数十万)的基因、相对少量(往往不足一百)的样本.在这成千上万的基因中,仅仅一少部分基因对癌症分类有贡献.因而,对于癌症分类来... 详细信息

微阵列数据广泛而成功地应用于生物医学的癌症分类研究.一个典型的微阵列数据集包含大量(通常成千上万,甚至数十万)的基因、相对少量(往往不足一百)的样本.在这成千上万的基因中,仅仅一少部分基因对癌症分类有贡献.因而,对于癌症分类来说,最重要的一个问题就是识别出对癌症分类最有贡献的基因.这一识别过程称为基因选择.基因选择在统计模式识别、机器学习和数据挖掘领域已得到广泛研究.介绍基因选择问题所涉及到的相关背景知识和基本概念;全面地回顾统计学、机器学习和数据挖掘领域对基因选择问题的解决方法;通过实验展示了几种典型算法在微阵列数据上的性能;指出当前存在的问题和未来的研究方向.

关键词：基因选择微阵列数据癌症分类属性相关性相关性度量

在线全文

学校读者我要写书评

暂无评论

基于SDN的家用路由器安全审计工具

北京理工大学学报 2019年第7期39卷 743-749页

作者：王宇李巍李舟军北京航空航天大学计算机学院

在僵尸网络等威胁的环境下,本文提出了一种基于OpenFlow协议的无线路由器安全审计功能的设计与实现,旨在于通过计算信息熵检测路由器的流量是否存在异常,并将检测系统置于软件定义网络(software defined network,SDN)架构下,实现控制、... 详细信息

在僵尸网络等威胁的环境下,本文提出了一种基于OpenFlow协议的无线路由器安全审计功能的设计与实现,旨在于通过计算信息熵检测路由器的流量是否存在异常,并将检测系统置于软件定义网络(software defined network,SDN)架构下,实现控制、展示功能.实验结果表明,整个系统能在明显检测网络中的DDoS攻击的前提下,使整个系统的运行内存仅有8 MB,网络负载仅有2.67%.

关键词：软件定义网络 OpenFlow协议安全审计信息熵 DDoS攻击