张连华

作品数：12被引量：14H指数：2
导出分析报告
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文主题：进程代数形式化方法数据挖掘网络入侵检测路由器更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《上海交通大学学报》《微型电脑应用》《计算机工程与应用》《计算机应用与软件》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于权能的黑客攻击场景建模方法
《计算机应用与软件》2007年第10期192-194,共3页张连华 章仁龙 白英彩 
攻击场景的建模和识别能够为安全管理员提供黑客攻击过程的高层视图,并为攻击响应提供更精确的决策信息。目前,攻击场景建模已经成为网络与信息安全的热点之一。黑客攻击常常需要实施多个不同性质的攻击步骤,这些攻击步骤形成了攻击场...
关键词：攻击场景 权能 需求/提供模型 攻击场景建模 
信息系统对象的安全视角建模被引量：2
《计算机应用与软件》2006年第8期122-124,共3页张连华 张洁 白英彩 
安全模型必须考虑信息系统的特征信息。比如,告警关联要评估攻击是否成功的概率,可以通过比较目标配置信息和漏洞被攻击的前提来得到。本文从安全角度提出了新的信息系统模型,该模型不仅包括静态和动态两个方面的内容,而且通过引入层次...
关键词：信息系统 安全模型 信息系统建模 
一种标记转移系统的构造与执行方法被引量：1
《计算机应用与软件》2006年第5期84-85,95,共3页张冠华 张连华 白英彩 
本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是...
关键词：进程代数 标记转移系统 动态树 
基于ontology的安全漏洞分析模型被引量：3
《计算机应用与软件》2006年第5期121-123,共3页张连华 张洁 白英彩 
采用本体为工具建立脆弱性模型。模型的主要特点是分别独立定义了以攻击目标为中心的脆弱性模型和以攻击源头为中心的脆弱性模型两部分,并阐述两者的关系。攻击方可以很自然地使用以攻击源头为中心的脆弱性模型部分;防御方可以很自然地...
关键词：脆弱性分析 本体 安全策略 
基于粗糙集数据挖掘和分类集成学习的网络入侵检测模型被引量：4
《计算机应用与软件》2006年第4期120-122,共3页王艳芳 张连华 白英彩 
基于多个特征或多个模型的集成(Ensemb le)学习技术是智能网络入侵检测的重要研究方向,在现有研究基础上提出基于粗糙集分类、模型分发和攻击归类检测,并加以集成的学习式网络入侵检测模型,该模型不仅能提高网络入侵检测系统检测率,同...
关键词：网络入侵检测 粗糙集 数据挖掘 集成学习 
反应式嵌入式系统形式化性能模型的研究
《小型微型计算机系统》2005年第11期2054-2056,共3页张冠华 张连华 白英彩 
基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分...
关键词：嵌入式系统 进程代数 形式化方法 性能 
一种基于进程代数的路由器性能评价算法
《小型微型计算机系统》2005年第10期1711-1714,共4页张冠华 张连华 白英彩 
性能评价是路由器设计中的一个重要环节,目前有多种方法,提出了一种基于进程代教的形式化方法,它能在系统进 行正确性验证的同时得到系统的性能参数．首先定义了描述路由器模型的进程代数方法,然后介绍了建立路由器模型的方法, 并给出...
关键词：形式化方法 进程代数 性能分析 算法 
基于进程代数EACSR-VP的通信模型的实现
《计算机应用与软件》2005年第9期87-88,91,共3页张冠华 张连华 白英彩 
介绍了进程代数EACSR-VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论。
关键词：进程代数 形式化方法 并发系统 通信 通信模型 
基于数据挖掘的入侵检测告警关联分析研究被引量：2
《微型电脑应用》2005年第2期45-48,67,共4页张连华 张洁 白英彩 
关联分析技术能够大大减少报警的数量、降低入侵检测误报警率 (false positive)和适当减少入侵检测漏报率 (falsenegative)。所以在入侵检测系统中引入报警关联分析功能具有重要的实际意义。目前入侵检测报警关联分析技术获得了广泛的...
关键词：入侵检测系统 告警关联 数据挖掘 入侵模式 关联规则 报警 自动提取 漏报率 分析 并发 
一种路由器形式化测试模型的研究被引量：1
《系统仿真学报》2005年第1期154-155,177,共3页张冠华 张连华 陈凯 白英彩 
研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析。
关键词：进程代数 路由器 建模 测试 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部