Refine
Year of publication
- 2022 (1)
Document Type
Conference Type
- Konferenzartikel (1)
Language
- English (1)
Has Fulltext
- no (1) (remove)
Is part of the Bibliography
- yes (1)
Institute
Open Access
- Closed Access (1)
Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems
(2022)
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.