• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Architecting dependable systems VI >Architecting Security with Paradigm
【24h】

Architecting Security with Paradigm

机译：使用范式架构安全性

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

For large security systems a clear separation of concerns is achieved through architecting. Particularly the dynamic consistency between the architectural components should be addressed, in addition to individual component behaviour. In this paper, relevant dynamic consistency is specified through Paradigm, a coordination modeling language based on dynamic constraints. As it is argued, this fits well with security issues. A smaller example introduces the architectural approach towards implementing security policies. A larger casestudy illustrates the use of Paradigm in analyzing the FOO voting scheme. In addition, translating the Paradigm models into process algebra brings model checking within reach. Security properties of the examples discussed, are formally verified with the model checker mCRL2.
机译：对于大型安全系统，可以通过架构实现明确的关注点分离。特别是，除了个别组件的行为外，还应解决架构组件之间的动态一致性。在本文中，通过Paradigm（一种基于动态约束的协调建模语言）指定了相关的动态一致性。有人认为，这很适合安全性问题。一个较小的示例介绍了用于实施安全策略的体系结构方法。较大的案例研究说明了范式在分析FOO投票方案中的使用。此外，将Paradigm模型转换为过程代数可以使模型检查触手可及。所讨论示例的安全属性已通过模型检查器mCRL2进行了正式验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号