位置：成果数据库 > 期刊 > 期刊详情页
A novel logic-based automatic approach to constructing compliant security policies
  • ISSN号：1674-733X
  • 期刊名称：Science China Information Sciences
  • 时间：2012.1.1
  • 页码：149-164
  • 相关项目：面向系统确保的安全属性计算模型与评估方法研究
作者： Bao YiBao|Yin LiHua|Fang BinXing|Guo Li|
同期刊论文项目
面向系统确保的安全属性计算模型与评估方法研究
期刊论文 22 会议论文 16
同项目期刊论文
COMPARISON OF MEASURING INFORMATION LEAKAGE FOR FULLY PROBABILISTIC SYSTEMS
Analysis for probabilistic and timed information flow security properties via ptSPA
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
一种面向移动计算的机密性与完整性模型
访问控制策略中信息流的最优化去环方法
僵尸网络综述