Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:HAL:hal-04030649v1

Temporal verification in secure group communication system design

Authors
Publication date
14 October 2007
Publisher
HAL CCSD

Abstract

International audienceThe paper discusses an experience in using a real-time 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

Similar works

Full text

thumbnail-image

HAL-INSA Toulouse

redirect
oaioai:HAL:hal-04030649v1
Last time updated on 22/04/2023

This paper was published in HAL-INSA Toulouse.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.