位置：立项数据库 > 立项详情页
基于谓词抽象技术的访问控制策略安全性快速判定方法的研究
  • 项目名称：基于谓词抽象技术的访问控制策略安全性快速判定方法的研究
  • 项目类别：青年科学基金项目
  • 批准号：61300228
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：刘志锋
  • 依托单位：江苏大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 10
  • 0
  • 0
  • 0
  • 0
期刊论文
马尔可夫决策过程的限界模型检测
匿名最短路径的top-k路径贪心泛化算法
面向大数据系统的检测器快速筛选算法
SCMPFS:面向SCM的聚合文件系统
基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法
基于全息熵的空间离群点挖掘算法研究
一种多种攻击并发下的WSN生存性评估模型
基于属性的访问控制策略的正确性验证
基于PAT的使用控制模型的形式化规约与安全性分析
Base communication model of IP covert timing channels
刘志锋的项目