位置：成果数据库 > 期刊 > 期刊详情页
Analysis for probabilistic and timed information flow security properties via ptSPA
  • ISSN号：1000-1239
  • 期刊名称：Journal of Computer Research and Development
  • 时间：2011
  • 页码：1370-1380
  • 相关项目：面向系统确保的安全属性计算模型与评估方法研究
作者： Li, Chao|Yin, Lihua|Guo, Yunchuan|
同期刊论文项目
面向系统确保的安全属性计算模型与评估方法研究
期刊论文 22 会议论文 16
同项目期刊论文
COMPARISON OF MEASURING INFORMATION LEAKAGE FOR FULLY PROBABILISTIC SYSTEMS
TOWARDS FORMAL SECURITY ANALYSIS OF DECENTRALIZED INFORMATION FLOW CONTROL POLICIES
Analysis of attack graphs based on network flow method
基于良基语义的安全策略表达与验证方法
AACF:基于逻辑的非单调授权与访问控制框架
多级安全中敏感标记的最优化挖掘
基于ptSPA的概率时间信息流安全属性分析
基于网络流的攻击图分析方法
面向信息流的安全模型与评估综述
基于广义污点传播模型的操作系统访问控制
A Framework of Evaluation Location Privacy in Mobile Network
Optimal mining on security labels for decentralized information flow control
基于CSP方法的移动自组织网络认证协议TAM的分析与改进
Methods for optimal eliminating cycles in information flow of authorization policies
一种面向移动计算的机密性与完整性模型
访问控制策略中信息流的最优化去环方法
A novel logic-based automatic approach to constructing compliant security policies
僵尸网络综述
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349