位置：成果数据库 > 期刊 > 期刊详情页
Algorithmic Verification of Intransitive Noninterference for 3-domain Security Policies with a SAT S
  • 期刊名称：Applied Mathematics & Information Sciences
  • 时间：2013.10.10
  • 页码：1825-1835
  • 相关项目：信息流安全属性算术验证的研究
作者： 刘志锋|周从华|葛云|章东|
同期刊论文项目
信息流安全属性算术验证的研究
期刊论文 26 专利 4
同项目期刊论文
概率计算树逻辑的限界模型检测
Symbolic algorithmic verification of intransitive generalized noninterference
Abstraction in Model Checking Real-Time Temporal Logic of Knowledge
Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain
SAT-based Algorithmic Verification of Noninterference
概率实时时态认知逻辑模型检测中抽象技术的研究
广义不可推断属性符号化算术验证的研究
Structure Reduction for Verifying Noninterference Properties
多智体系统中约简状态空间的限界模型检测算法
Covert Flow Graph Approach to Identifying Covert Channels
一种基于Petri网的隐蔽信息流分析方法
概率时态认知逻辑模型检测中三值抽象技术的研究
马尔可夫决策过程的限界模型检测
基于差分隐私的权重社会网络隐私保护
基于相似URL的深层网数据区域识别
二维IP时间隐通道的构建方法研究
有界网络抖动对数据包时间间隔测量的影响
一种新型可靠网络隐蔽信道的研究
IP时间隐通道通信协议的研究
IP时间隐通道抗检测技术的研究
一种基于信息流脉络网的隐蔽通道搜索方法
基于向量相似的权重社会网络隐私保护