陈志贤
- 作品数：6 被引量：22H指数：2
- 供职机构：南京工业大学电子与信息工程学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 列车调度无线通信系统设计被引量：2
- 2010年
- 设计了一套基于摩托罗拉GP3688的无线列车调度通信系统.给出了系统的总体设计,着重阐述了数据传输的接口技术、数字信号的软件调制/解调以及数据传输的纠错编码等几个关键实现.现场运行结果表明:该系统具有较高的可靠性,对提高铁路系统中通信的可靠性具有重要的实用价值.
- 陈志贤
- 关键词：无线通信信道误码率RS码
- 应用扩张矩阵理论的攻击特征提取被引量：4
- 2010年
- 近年来随着因特网的飞速发展,计算机系统也面临着越来越多的安全威胁。国内外不少研究人员为此提出了许多种基于软计算的方法用于检测网络攻击。给出了一种基于扩张矩阵理论的攻击特征提取方法,通过构造攻击子集和正常子集的扩张矩阵,建立其最优特征子集选择的整数规划模型,并利用简单遗传算法求解,最终生成可用于检测特定类型攻击的最优规则。在KDD Cup99数据集上的实验结果表明,该方法具有较高的正确检出率和可接受的低误报率。
- 陈志贤黄皓
- 关键词：扩张矩阵特征子集选择遗传算法入侵检测
- 基于扩展的不干扰模型的系统完整保护研究
- 本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机制同样可以通过不干扰模型来描述和验证。根据安全策略和安全机制描述的需要，本文对不干扰模型...
- 崔隽黄皓陈志贤
- 关键词：微内核操作系统
- 文献传递
- 一种基于机器特征的软件版权保护方法被引量：1
- 2010年
- 设计了一种基于机器特征的软件版权保护方法,给出了软件版权保护的模型,着重阐述了基于部件特征值的序列号生成机制和实施步骤,利用虚拟机保护来加密核心代码,软件加壳等几个关键实现.实验结果表明该方法是可行的、有效的,且具有良好的可扩展性.
- 陈志贤
- 关键词：序列号版权保护虚拟机
- 垃圾邮件过滤技术研究综述被引量：15
- 2009年
- 垃圾邮件过滤是一种主动安全防御技术。首先概述了垃圾邮件过滤的发展历史及其基本概念;然后根据不同的标准对垃圾邮件过滤技术进行了分类,并评述了各种垃圾邮件过滤方法和技术;最后展望了垃圾邮件过滤技术及其产品的发展方向。
- 陈志贤
- 关键词：垃圾邮件贝叶斯过滤人工免疫
- 基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究
- 2010年
- 隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验证工具FDR2来实现系统内隔离策略的自动化验证。以基于虚拟机的文件服务监控器为例,展示了如何利用CSP来建模一个系统及其隔离策略以及如何利用FDR2来验证该系统模型满足给定的隔离策略。
- 崔隽黄皓陈志贤
- 关键词：通信顺序进程形式化验证
