位置：成果数据库 > 期刊 > 期刊详情页
Symbolic Algorithmic Verification of Generalized Noninterference
  • ISSN号：1109-2750
  • 期刊名称：WSEAS TRANSACTIONS ON COMPUTERS
  • 时间：0
  • 页码：976-987
  • 语言：英文
  • 相关项目：基于信息流分析的隐通道搜索方法的研究
作者： Conghua Zhou|
同期刊论文项目
基于信息流分析的隐通道搜索方法的研究
期刊论文 73 会议论文 12 专利 2
同项目期刊论文
概率计算树逻辑的限界模型检测
Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain
广义不可推断属性符号化算术验证的研究
一种动态的隐通道消除算法
隐私保护的快速聚类算法
基于Petri网的信息流安全属性的分析与验证
非传递广义无干扰属性符号化算术验证的研究
Abstraction for Model Checking Multi-agent Systems
面向无传递性安全策略的语法信息流分析方法
Inference Channel Identification with Model Checking
基于免疫安全存储系统中的组份区分匹配算法
Multilevel security model for ad hoc networks
Integrated criteria for covert channel auditing
信息流图的分割算法
一种隐通道威胁审计的度量方法
Petri Nets based Noninterference Analysis
一种基于满足性判定的并发软件验证策略(英文)
基于信息熵的隐通道能力分析
基于依赖图的信息流图构建方法
基于切割的检测器生成与匹配算法
Privacy-Preserving Hierarchical-k-means Clustering on Horizontally Partitioned Data
快速否定选择算法的研究与分析
基于免疫的轻量级存储系统访问控制模型
一种基于内容的双向共享组播路由协议
基于内容的快速事件匹配算法
基于K-way谱聚类的背景离群点检测
基于Iceberg概念格的最大频繁项集挖掘
基于敏感性分级的（α_i,k）-匿名隐私保护
基于最近邻过滤的数据流Skyline算法
基于属性分频的元数据索引算法
用二分图实现社会网络的匿名发布
基于人工免疫安全存储区域网系统的研究
社会网络数据发布中的隐私保护研究进展
基于加权语义网和有效信息的个性化用户兴趣建模
无线传感器网络中异常读数检测算法研究
数据发布中的隐私保护研究综述
K—means聚类与SVDD结合的新的分类算法
面向Deep Web数据自动抽取的模板生成方法
基于d-邻域子图匿名的社会网络隐私保护
数据发布中面向多敏感属性的隐私保护技术
基于权值的局部保持半监督降维算法
基于关联挖掘和语义聚类的Deep Web复杂匹配方法
带空间特性角色访问控制模型的冲突会话
基于时间链接分析的页面排序优化算法
用二分图实现数据发布的隐私保护
改进的SVM解决背景知识数据中的类不平衡
基于关联规则的Web挖掘技术研究
改进k-means聚类算法在图像检索中的应用研究
基于DCT域实时语音的信息隐藏方法
改进的最大频繁项集挖掘算法
基于密度的分布式隐私保护异常检测算法
多处理器系统实时调度的可预测性
一种基于满足性判定的并发软件验证策略
带有空间特性角色约束
基于合作博弈的安全存储区域网性能优化机制
基于椭球模型的无线传感器网络的局部离群点检测
基于重叠模块度的社区离群点检测
基于RFID路径数据的异常路径检测
基于自适应的高对比性子空间的高维离群点检测