Volltext-Downloads (blau) und Frontdoor-Views (grau)

Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems

  • This paper makes two contributions to the verification of communication protocols by transition systems. Firstly, the paper presents a modeling of a cyclic communication protocol using a synchronized network of transition systems. This protocol enables seamless cryptographic rekeying embedded into cyclic messages. Secondly, we test the protocol using the model checking verification technique.

Export metadata

Additional Services

Share in Twitter Search Google Scholar

Statistics

frontdoor_oas
Metadaten
Author:Heiko Bühler, Andrzej Zbrzezny, Agnieszka M. Zbrzezny, Andreas WalzORCiD, Axel SikoraORCiDGND
Publisher:IEEE
Year of Publication:2022
ISBN:978-1-6654-2605-3 (elektronisch)
ISBN:978-1-6654-4209-1 (Print)
ISBN:978-1-6654-4210-7 (USB)
ISBN:978-1-6654-2606-0 (Print on Demand)
Language:English
Parent Title (English):Proceedings of The 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications
Volume:2
ISSN:2770-4254 (elektronisch)
ISSN:2770-4262 (Print on Demand)
First Page:343
Last Page:347
Document Type:Conference Proceeding
Institutes:Bibliografie
Open Access:Zugriffsbeschränkt
Release Date:2022/01/14
Licence (German):License LogoUrheberrechtlich geschützt
Note:
Konferenz: 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 22-25 Sept. 2021, Cracow, Poland
URL:https://ieeexplore.ieee.org/document/9660937
DOI:https://doi.org/10.1109/IDAACS53288.2021.9660937