Temporal Verification in Secure Group Communication System Design

The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) Pub Date : 2007-10-14 DOI:10.1109/SECUREWARE.2007.4385330

Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, T. Villemur

引用次数: 4

Abstract

The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements. A generic framework is proposed and specialized for hierarchical groups.

查看原文本刊更多论文

安全组通信系统设计中的时间验证

本文讨论了使用实时UML/SysML概要文件和正式验证工具包来根据时间需求检查安全组通信系统的经验。提出了一个通用框架，并专门用于分层组。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007)

自引率

0.00%

发文量