浙江省教育厅科研计划(Y201017075)
- 作品数:3 被引量:4H指数:2
- 相关作者:吕新荣钮俊陆世伟徐畅曾国荪更多>>
- 相关机构:浙江工商职业技术学院同济大学教育部更多>>
- 发文基金:浙江省教育厅科研计划宁波市自然科学基金浙江省高等学校优秀青年教师资助计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 数字校园的信息安全风险评估研究与实践
- 2012年
- 本文依据我国制定的信息安全风险评估标准和国际有关标准,研究和设计针对数字校园的信息安全风险评估流程和框架,并利用该流程针对实际的数字校园对象进行实例验证,风险评估结果验证了该流程的合理性和可行性。
- 吕新荣钮俊陆世伟
- 关键词:数字校园风险评估信息安全
- 随机模型检测连续时间Markov过程被引量:2
- 2011年
- 功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision process)能够统一刻画复杂系统的概率选择、随机时间及不确定性等重要特征。提出用CT-MDP作为系统定性验证和定量分析模型,将复杂系统的功能验证和性能分析转化为CTMDP中的可达概率求解,并证明验证过程的正确性,最终借助模型检测器MRMC(Markov Reward Model Checker)实现模型检测。理论分析表明,提出的针对CTMDP模型的验证需求是必要的,验证思路和方法具有可行性。
- 钮俊曾国荪吕新荣徐畅
- 关键词:功能性能
- 基于聚类技术的僵尸网络检测方案被引量:2
- 2011年
- 现有僵尸网络检测方案需要先验知识以获取匹配模式,无法满足实时处理的要求。为此,从分析僵尸网络的特点出发,通过比较僵尸频道消息字符串的相似度,提出基于聚类技术的僵尸网络检测方案。实验结果表明,该方案能有效检测隐藏在正常网络数据流中的僵尸频道。
- 吕新荣陆世伟
- 关键词:聚类技术