论文部分内容阅读
企业网的安全问题正受到世界各国的高度重视,研究已有安全模型,结合企业网的特点,使用随机Petri网模型对企业网的安全进行分析。企业网安全分析模型由网络连接模型、基于权限的网络终端模型和基于权限提升的脆弱性模型组成。通过模拟验证说明基于随机Petri网的安全分析模型可扩展性强、模拟渗透代价小。
基于随机Petri网模型的企业网安全分析
【摘 要】
：
企业网的安全问题正受到世界各国的高度重视,研究已有安全模型,结合企业网的特点,使用随机Petri网模型对企业网的安全进行分析。企业网安全分析模型由网络连接模型、基于权限
【机 构】
：
清华大学计算机科学与技术系,北京 100084
【出 处】
：
第十二届全国petri网理论与应用学术年会
【发表日期】
：
2009年期
其他文献
传统的中小物流企业繁多，规模小、实力弱、功能单一，能力极为分散，总体特点是“小、散、乱、差、多”。主要表现在知名品牌少，低利润血汗式增长，服务满意度低，成本增长压力大，先进技
针对大型运输机的飞行控制系统飞行品质评定,通过结合与飞行控制系统性能密切相关的评定准则,利用基于优化的鲁棒性确认方法(OBA)与基于概率的鲁棒性评估方法(MCA)对存在不确定条件下的控制系统进行综合评定,解决了MCA小概率问题以及OBA保守性问题,其评价结果具有较高的可信度。
医院信息化建设力度日益加大，医院信息平台打造力度也在进一步加强。医院信息数据平台对所有线下资料进行电子化处理，并导入到医院信息数据平台，使医院的工作管理、物资档案、患
期刊
音乐是人类文明中的重要艺术形式，可以启迪智慧、陶冶情操。所以现阶段幼儿教育教学受到了高度重视。幼儿是成长发展中的个体，在音乐活动中有素质能力上的差异。教师要细心地、
市政工程对于城市形象以及国计民生等都有着重要的影响，在市政工程建设施工中，钻孔灌注桩可以提升基础工程性能，保证市政工程的寿命，在实际中应用较多，基于此，本文论述了市政工程中
针对大型民机的适航标准CCAR-25,对飞控系统稳定性、操纵性、失速及故障下的安全性等条例进行了论证。结合条例要求,明确了大型客机的飞机气动布局应当是静稳定的,即其稳定性
水是生命之源，生产之要，生态之基。在解决我国水资源短缺、洪涝灾害、环境保护、水土流失等水问题中、水利水电工程的建设与实施起到了无可替代的重要作用。而导流施工是水利工
混凝土的强度直接的影响工程的整体质量，是保证建筑结构的强度的主要保证，也是检验建筑的质量和施工的质量主要的方向之一。在不同的工程段，应合理使用各种检测办法来检测混凝土
人们生活水平不断提高，对建筑装饰、装修工程的要求逐渐提高，需要通过加强施工管理的措施保证装饰、装修质量，从而满足人们的要求。在建设过程中会应用到较多的施工技术与施工工
现代社会高度依赖于各种分布式信息系统。因此,当出现攻击、网络失效和自然灾害等意外事件时,重要服务必须保证可用。针对分布式信息系统提出一种基于随机Petri网的可生存性
会议