董笑菊

作品数：12被引量：31H指数：3
导出分析报告
供职机构：上海交通大学更多>>
发文主题：互模拟进程代数网络异常可视化P系统更多>>
发文领域：自动化与计算机技术理学语言文字文化科学更多>>
发文期刊：《上海交通大学学报》《计算机学报》《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金国家杰出青年科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于社区发现的网络异常检测方法被引量：9
《计算机学报》2022年第4期825-837,共13页钱爱娟 樊昕 董笑菊 褚衍杰 袁晓如 
国家重点研发计划项目(No.2017YFB0701900);国家自然科学基金(No.61100053)资助.
随着互联网的不断普及与网络通信技术的不断进步,网络已经逐渐进入到人们生活的每一个层面,越来越多的网络应用应运而生.但是另一方面,随着当前网络结构的日益复杂,会引起各种各样的网络安全问题,对社会构成了巨大的威胁和挑战.因此,网...
关键词：网络异常检测 可视分析 社区发现 社区匹配 
基于可视分析的网络异常检测系统被引量：2
《网络与信息安全学报》2018年第2期40-54,I0009-I0016,共23页张浩城 吴晓洁 唐翔 舒润萱 丁天琛 董笑菊 
国家自然科学基金资助项目(No.61472238;No.61772336;No.61572318)~~
在网络安全数据的规模和复杂度不断攀升的今天,传统可视化方法已不再适用。现有的网络安全可视化系统和方法仍具有缺陷,它们无法对网络安全数据进行时序变化上的展示,在信息展示的完备性和用户交互性上表现较差。针对现有方法的不足,设...
关键词：信息可视化 网络安全可视化 可视化系统 交互 
分布式拒绝服务的可视分析
《网络与信息安全学报》2017年第2期53-65,共13页张毅凡 董笑菊 
国家自然科学基金资助项目(No.61100053)~~
首先,对网络日志中提取出的IP地址进行可视分析,设计完整的可视方案,通过采取有效的可视化方法,利用网页语言工具,将网络日志数据以图形的形式有效表示出来。其次,使用IP地址作为分析中心,分别以源IP、目的 IP以及二者之间关联作为各个...
关键词：网络安全 数据可视化 分布式拒绝服务攻击 IP地址 
树比较可视化方法综述被引量：7
《软件学报》2016年第5期1074-1090,共17页李彦龙 李国强 董笑菊 
国家自然科学基金(61100053;61472240;91318301)~~
层次数据是生产和生活中常见的一类数据.树可视化通常用于呈现层次数据,是可视分析中的一个重要部分.比较是一种常用的分析方式,而树比较可视化也是可视分析研究中的一个重要课题.树比较可视化从所比较的树的数目角度,分为树内比较、两...
关键词：可视分析 树比较 层次数据 
有界Petri网的进程演算表达被引量：2
《上海交通大学学报》2011年第7期980-984,共5页董振华 董笑菊 
国家自然科学基金资助项目(60873034);上海市自然基金资助项目(10ZR1416800)
为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致...
关键词：PETRI网 进程演算 编码 
基于GSPM的安全协议检验工具被引量：1
《计算机工程》2008年第17期130-132,共3页庄庆 蔡小娟 董笑菊 戚正伟 
国家"973"计划基金资助项目(2003CB317005);国家自然科学基金资助项目(60473006;60573002);博士点基金资助项目(20010248033)
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述...
关键词：线性时序逻辑 安全协议 保密性 认证性 
活性细胞膜计算的可执行性描述与实现被引量：1
《上海交通大学学报》2008年第10期1635-1639,共5页张民 戚正伟 董笑菊 
国家重点基础研究发展规划(973)项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033);高等学校博士学科点基金资助项目(20010248033)
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的...
关键词：活性细胞膜计算 重写逻辑 可满足性问题 
一种新的组织P系统变体的研究被引量：2
《计算机科学》2008年第2期16-18,46,共4页徐贤 董笑菊 
国家杰出青年科学基金NNSFC(60225012);BDCC(03DZ14025);中国国家自然科学基金(60473006);MSRA;博士点基金(20010248033)资助
本文介绍了一种新的组织P系统的变体。定义的P系统改进了原始的设计,允许在通道(连接,生物上称为突触)上的规则应用中采用并行机制,以提高系统的运行效率。文中我们首先给出这种组织P系统的定义,然后描述它的运行机制,接着对它的计算能...
关键词：组织 P系统 并行性 
用P系统解决排序问题被引量：6
《上海交通大学学报》2008年第2期206-208,共3页黄春毅 董笑菊 龙环 
国家自然科学基金(60473006)资助项目;教育部高等学校博士点基金(20010248033)资助项目
介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大...
关键词：P系统 膜计算 排序问题 
κ-演算建模λ噬菌体的生活周期
《上海交通大学学报》2007年第1期42-44,50,共4页李丹 张敏 董笑菊 
国家杰出自然科学基金项目(60225012);教育部博士点基金项目(20010248033);上海市科委交叉领域创新团队专项课题(03DZ14025)
κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特...
关键词：κ-演算 Λ噬菌体 生活周期 蛋白质 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部