位置：立项数据库 > 立项详情页
　基于程序动态行为的推理通道标识方法的研究
  • 项目名称：　基于程序动态行为的推理通道标识方法的研究
  • 批准号：20093227110005
  • 项目来源：高等学校博士学科点专项科研基金联合资助类课题
  • 研究期限：2010-03-
  • 项目负责人：鞠时光
  • 依托单位：江苏大学
  • 批准年度：0
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 28
  • 0
  • 0
  • 0
  • 0
期刊论文
概率计算树逻辑的限界模型检测
Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain
概率实时时态认知逻辑模型检测中抽象技术的研究
广义不可推断属性符号化算术验证的研究
多智体系统中约简状态空间的限界模型检测算法
基于Petri网的信息流安全属性的分析与验证
一种基于Petri网的隐蔽信息流分析方法
概率时态认知逻辑模型检测中三值抽象技术的研究
马尔可夫决策过程的限界模型检测
基于K-way谱聚类的背景离群点检测
基于d-邻域子图匿名的社会网络隐私保护
基于DCT域实时语音的信息隐藏方法
基于全息熵的空间离群点挖掘算法研究
基于差分隐私的权重社会网络隐私保护
二维IP时间隐通道的构建方法研究
有界网络抖动对数据包时间间隔测量的影响
面向Liquid时间隐通道的检测方法
一种隐私保护关联规则挖掘的混合算法
基于SVM的Web文本快速增量分类算法
一种新型可靠网络隐蔽信道的研究
IP时间隐通道通信协议的研究
IP时间隐通道抗检测技术的研究
基于椭球模型的无线传感器网络的局部离群点检测
基于重叠模块度的社区离群点检测
基于RFID路径数据的异常路径检测
一种基于信息流脉络网的隐蔽通道搜索方法
基于自适应的高对比性子空间的高维离群点检测
基于向量相似的权重社会网络隐私保护
鞠时光的项目
基于信息流分析的隐通道搜索方法的研究
期刊论文 73 会议论文 12 专利 2
隐通道可计算体系的建立与研究
期刊论文 2
可视化查询程序设计系统的研究与开发
基于操作语义的隐通道分析理论的研究
期刊论文 20 会议论文 2