一种面向分布式系统的行为分析和检测方法

来源 :第八届中国可信计算与信息安全学术会议 | 被引量 : 0次 | 上传用户：sdfcasdvgase

【摘要】

：

随着分布式系统并发性和交互性的不断增加,其可靠性变得难以保证,而对其行为进行建模、分析与检测是解决这一问题的重要手段.本文引入进程代数对分布式系统的行为建模,提出一种行为分析与检测方法.该方法通过分析二进制码获得系统的控制流程图并将其转换为进程表达式;通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写;依据并发规则消除进程表达式中的并发算子,建立分布式系统的行为检测模型,并给出

【出处】

：

第八届中国可信计算与信息安全学术会议

【发表日期】

：

2014年10期

【关键词】

：

分布式系统行为分析检测模型控制流程图

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

Worst-input Mutation Approach to Web Services Vulnerability Testing based on SOAP Messages

The growing popularity and application of Web services have led to an increase in attention to the vulnerability of software based on these services.Vulnerability testing examines the trustworthiness,

会议

Security testingWeb service vulnerabilitySOAP messageTest case generationMut

PTFA:A Secure and Privacy-Preserving Traffic Flow Analysis Scheme for Intelligent Transportation Sys

With the pervasiveness of Vehicle Information Svstem (VIS) and the advance of Vehicular Ad-hoc Network ( VANET).Intelli- gent TransportationSystem (ITS).which can improve road traffic and reduce the n

会议

Intelligent transportation systemtraffic flow analysisprivacy-preserving multi

A model guided security analysis approach for Android applications

Revealing security vulnerabilities is one of great challenges for the Android ecosvstem Staticanalvsis is the usual approach of the securitv analysis for computer software However.it is undirected and

会议

model guided analysissecurity analysis Android application securitystatic anal

信任量化中多影响因子的选取与仿真

信任模型是解决开放式网络环境中信任问题的有效方式,信任量化是可信管理中亟待解决的关键问题.针对信任量化中动态适应能力不足,信任的有效聚合不足,激励机制考虑不足等问题,根据信任模型设计原则,本文在推荐信任量化中引入奖惩因子体现推荐实体对访问主体的直接信任的可靠程度,采用推荐实体的评价可信度来决定访问客体是否采纳推荐实体的推荐;综合信任的度量过程中采纳平衡权重因子解决直接信任和推荐信任的权重问题;最后

会议

开放式网络环境信任量化影响因子动态适应能力

A Formal Analysis of TPM 2.0 HMAC Authentication

Trusted Platform Module (TPM) is the "root of trust" of the whole trusted computing platform.It is necessary to analyze the TPM 2.0 specifications to judge whether it has the old vulnerabilities in TP

会议

Trusted Platform Module 2.0 (TPM 2.0)Trusted ComputingHMACAuthorization Sessi

Multi-party Identity-based Symmetric Privacy-preserving Matching with Cloud Storage

As Cloud Computing is one of the hot and trending technologies.A large amount of sensitive information is increasingly centralized into the cloud.To preserve the datas privacy,sensitive data has to be

会议

cloud computingsymmetric privacy-preserving matchingidentity-based re-encrypti

A Hybrid Anomaly Intrusion Detection Model Based on GAFCM-SVM

The anomaly detection as a kind of intrusion detection way is good at detecting the unknown attacks or new attacks,and it has attracted much attention during recent years.A new hybrid intrusion detect

会议

fuzzy c-means clustersupport vector machinemembership functionanomaly intrusi

Deterministic Attributed Based Encryption

Attribute based encryption enables data owners to share their information by specifying access control policies while outsourcing their encrypted data to the cloud.However,there are no efficient searc

会议

attribute based encryptiondeterministic encryptionauxiliary inputs

支持多种虚拟化技术的进程非代理监控方法

为保障云环境中虚拟机应用的安全性与可用性,本文提出一种能够支持多种虚拟化技术的进程非代理监控方法.利用该方法设计一个非代理的进程主动监控框架.本框架将进程监控点设在虚拟机监视器中,而不在其中安装任何代理.该框架可以支持VMware、Xen、KVM三种虚拟化技术,实现了对客户操作系统(Guest OS)的隐藏进程检测和进程负载监控保证虚拟机安全可靠地运行.对于隐藏进程检测,从被监控虚拟机外部获取活动

会议

虚拟机监视器进程监控云环境

基于LDA的文本聚类在网络舆情分析中的应用研究

随着互联网的快速发展,网络舆情分析研究变得越来越重要.其中聚类是网络舆情分析中的一个非常重要的方法.传统的聚类算法都是基于词语来进行聚类,忽略了文本中可能隐含的信息.本文将TF-IDF和LDA主题模型分别计算的文本相似度进行线性结合来计算文本之间的相似度,从而进行更准确的聚类分析.在构建LDA主题模型时,通过Gibbs抽样来进行参数估计,通过贝叶斯统计的标准方法进行最优主题数的确定.在仿真实验中,

会议

网络舆情文本聚类相似度稳定性能

一种面向分布式系统的行为分析和检测方法

其他学术论文