位置：成果数据库 > 期刊 > 期刊详情页
基于随机Petri网模型的企业网安全分析
  • 期刊名称：金鑫，刘勇，林闯，王元卓. 基于随机Petri网模型的企业网安全分析，系统仿真学报，August 2
  • 时间：0
  • 分类：TP393.18[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]清华大学计算机科学与技术系, [2]东北大学机械工程与自动化学院
  • 相关基金：国家自然科学基金(90718040,60673187,60803123)
  • 相关项目：基于随机博弈网的网络攻击模型与安全性分析方法
关键词： 企业网, 网络安全, 安全模型, 随机Petri网
中文摘要：

企业网的安全问题正受到世界各国的高度重视,研究已有安全模型,结合企业网的特点,使用随机Petri网模型对企业网的安全进行分析。企业网安全分析模型由网络连接模型、基于权限的网络终端模型和基于权限提升的脆弱性模型组成。通过模拟验证说明基于随机Petri网的安全分析模型可扩展性强、模拟渗透代价小。

同期刊论文项目
基于虚拟机架构的可信计算环境与可信软件设计
期刊论文 30 会议论文 17
基于随机博弈网的网络攻击模型与安全性分析方法
期刊论文 50 会议论文 21 著作 3
基于随机Petri网的网络可生存性模型与分析方法
期刊论文 36 会议论文 7
同项目期刊论文
Analysis of Attack Actions for E-Commerce Based on Stochastic Game Nets Model
基于SPN模型的物流采购决策
信息安全风险模糊群决策评估方法.
信息安全风险控制的PROMETHEE决策方法研究
基于随机博弈网的邮件蠕虫传播与防御
岛屿争端中国家间博弈模型与策略仿真分析
Modeling and Security Analysis of Network Using Attack-defence Stochastic Game Net
协同服务中事务处理模型分析方法
协同服务模型及其在电子商务中的应用
基于非合作博弈的无线网络路由机制研究
网格服务可管理性模型及策略研究
网络服务行为的进程代数验证方法研究及其应用
柔性工作流中的服务组合可协调性研究
网络服务可管理性模型及策略研究
网络保护质量研究
可信网络连接的安全量化分析与协议改进
基于随机Petri网模型的远程口令破解和防御分析
网络计算环境下QoS偏好的处理策略及其应用
基于随机博弈模型的网络攻防量化分析方法
基于双滑动窗口的用户行为信任评估机制
一种基于信息熵的企业信息系统的安全风险定量评估方法
行为证据不全对无线传感器网络信任评估的影响与性质分析
网格环境下一种用户偏好的表示和计算方法
面向服务QoS模型中一种需求映射方法
柔性工作流中服务组合可协调性研究
基于区间数判断矩阵的模糊信息安全风险评估模型
基于随机Petri网在功能层面上的木马特性检测
Distinguishing manipulated stocks via trading network analysis
可信网络中用户行为可信的研究
Modeling and Survivability Analysis of Service Composition Using Stochastic Petri Nets
Q-ary Renyi-Ulam pathological liar game with one lie
Exploring the structural regularities in networks
基于随机Petri网的柔性工作流可用性分析
一种标准模型下基于身份的高效门限代理签名方案
信息安全风险模糊群决策评估方法
一种面向虚拟化云计算平台的内存优化技术
TRainbow: a new trusted virtual machine based platform
TasteBuddy-based Version Selection Strategy for BitTorrent Users against Content Pollution
一种面向虚拟化云平台的内存优化技术
基于虚拟化的桌面融合技术
MirageIO: High-Performance Virtual Block Devices in Xen
Trusted Connection System based on Virtual Machine Architecture
多层次的网络服务器集群功耗管理
NetSecu: A Collaborative Network Security Platform for in-network Security
基于设备代理机制的虚拟机动态迁移技术研究
Utility Analysis for Internet-Oriented Server Consolidation in VM-Based Data Centers
A Collaborative Network Security Management System in Metropolitan Area Network
基于虚拟机的OpenSSH秘钥数据隔离方法
基于Lustre的大规模文件系统拥塞控制算法的研究
基于KVM的物理资源动态分配与管理技术
虚拟化下域间服务过程分离机制研究
网格服务可管理性模型及策略研究
网络保护质量研究
可信网络连接的安全量化分析与协议改进
基于随机Petri网模型的远程口令破解和防御分析
可信网络中用户行为可信的研究
对等网络中基于位置信息和文件流行度的自适应复本管理算法
基于Petri网模型的UTM防火墙性能分析
改善多媒体通信质量的覆盖层路由系统
LHFR：面向长事务的层次式失效恢复算法
云计算：系统实例与研究现状
虚拟化与操作系统辨析
M3FEC：Joint Multiple Description Coding and Forward Error Correction for Interactive Multimedia in Multiple Path Transmission
Google Bigtable系统的可信性研究
An Improved Markov Model for IEEE 802.15.4 slotted CSMA/CA Mechanism
基于Petri网的数字媒体分发协议的安全性证明
计算机网络服务质量优化方法研究综述
A self-adaptive probabilistic packet filtering scheme against entropy attacks in network coding
Towards a universal friendly peer-to-peer media streaming: metrics, analysis and explorations
General Gap-Utilizing Strategy for Non-Persistent Traffic in Wireless Networks
基于非合作博弈的无线网络路由机制研究
网格服务可管理性模型及策略研究
下一代互联网体系结构研究
Petri网模型参数化可达图研究
网络保护质量研究
可信网络连接的安全量化分析与协议改进
基于随机Petri网模型的远程口令破解和防御分析
行为证据不全对无线传感器网络信任评估的影响与性质分析
可信网络中用户行为可信的研究
无线传感器网络中基于散列链的随机密钥预分发方案
可信网络中一种基于行为信任预测的博弈控制机制
无线传感器网络密钥管理的方案和协议
新一代网络QoS研究
基于Petri网模型的UTM防火墙性能分析
Petri网在生物信息学中的应用
复合数字对象及版权保护权利推理机制研究
可信网络的发展及其面对的技术挑战
无线数据网络中机会调度理论模型的研究
实时数据组播调度动态带宽分配方案
基于交互模式的网格服务组合正确性的研究
一种SaaS模式下平台运营商信任信息共享的博弈模型
Development of Trusted Network and Challenges It Faces
增强计算系统可信赖性：融合虚拟化和SOA
分布式网络环境下实体行为信任的评估方法
一种基于用户行为信任的动态角色访问控制