开放系统分析下的安全系统规范与验证方法
150 浏览量
更新于2024-06-17
收藏 717KB PDF 举报
"这篇文章主要探讨了基于开放系统分析的安全系统规范、验证和综合方法,重点关注如何在可能存在入侵者的环境中确保系统的安全性。通过使用时态逻辑公式来描述安全行为,该方法能够对系统进行建模、验证,并在必要时自动合成控制器以强制执行安全策略。研究受到多个项目的资助,并涉及理论计算机科学、安全系统分析、部分模型检验和控制器算子综合等领域。"
文章深入介绍了在理论计算机科学背景下,针对安全系统的一种新方法。近年来,由于系统安全性的实际需求和初步成功的形式化分析,对这类方法的研究大幅增加。该文提出了一个逻辑框架,首先通过规范化来清晰定义系统属性和行为,采用时态逻辑,尤其是μ-演算作为声明性语言来描述安全行为。
在开放系统分析中,系统不仅包含自身组件,还可能面临外部的潜在威胁,例如入侵者。作者利用这种分析方法对系统进行建模,允许考虑系统与环境的交互以及可能的攻击。通过部分模型检验,可以检查系统是否满足预定义的安全逻辑公式,这是一种验证系统安全性的技术。如果系统未能达到安全标准,方法还能自动合成一个控制器算子,它能干预并控制可能的入侵者行为,以确保系统按照预期的安全规则运行。
此外,文章指出,这种逻辑方法的应用得益于多个科研项目的资助,包括意大利国家研究委员会(CNR)的“动态联盟的可信电子服务”项目,以及欧盟资助的“面向服务的重叠计算机软件工程”(SENSORIA)和“移动系统安全软件和服务”(S3MS)项目。这些支持为该领域的研究提供了必要的资源和平台。
文章的作者F. Martinielli和I. Matteucci强调,规范化的系统分析语言和操作性描述对于理解系统行为至关重要。μ-演算等时态逻辑工具提供了强大的表达能力,能够精确地描述系统的动态安全属性。通过这种方式,他们构建了一个完整的工具链,从系统的建模到验证,再到安全控制的合成,为保障复杂系统在开放环境下的安全性提供了一种有效途径。
2008-09-24 上传
2010-12-09 上传
2024-02-29 上传
2021-06-09 上传
2021-09-06 上传
2021-09-20 上传
2022-05-30 上传
2021-08-24 上传
cpongm
- 粉丝: 5
- 资源: 2万+
最新资源
- 掌握Jive for Android SDK:示例应用的使用指南
- Python中的贝叶斯建模与概率编程指南
- 自动化NBA球员统计分析与电子邮件报告工具
- 下载安卓购物经理带源代码完整项目
- 图片压缩包中的内容解密
- C++基础教程视频-数据类型与运算符详解
- 探索Java中的曼德布罗图形绘制
- VTK9.3.0 64位SDK包发布,图像处理开发利器
- 自导向运载平台的行业设计方案解读
- 自定义 Datadog 代理检查:Python 实现与应用
- 基于Python实现的商品推荐系统源码与项目说明
- PMing繁体版字体下载,设计师必备素材
- 软件工程餐厅项目存储库:Java语言实践
- 康佳LED55R6000U电视机固件升级指南
- Sublime Text状态栏插件:ShowOpenFiles功能详解
- 一站式部署thinksns社交系统,小白轻松上手