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.
| Document Type: | Conference Proceeding |
|---|---|
| Conference Type: | Konferenzartikel |
| Zitierlink: | https://opus.hs-offenburg.de/5359 | Bibliografische Angaben |
| Title (English): | Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems |
| Conference: | IDAACS: IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (11. : 22-25 Sept. 2021 : Cracow, Poland) |
| Author: | Heiko Bühler , Andrzej Zbrzezny, Agnieszka M. Zbrzezny, Andreas WalzORCiD, Axel SikoraStaff MemberORCiDGND |
| Date of Publication (online): | 2022/01/05 |
| Publisher: | IEEE |
| First Page: | 343 |
| Last Page: | 347 |
| Parent Title (English): | Proceedings of The 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications |
| Volume: | 2 |
| 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) |
| ISSN: | 2770-4254 (elektronisch) |
| ISSN: | 2770-4262 (Print on Demand) |
| DOI: | https://doi.org/10.1109/IDAACS53288.2021.9660937 |
| URL: | https://ieeexplore.ieee.org/document/9660937 |
| Language: | English | Inhaltliche Informationen |
| Institutes: | Forschung / ivESK - Institut für verlässliche Embedded Systems und Kommunikationselektronik |
| Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019) | |
| Institutes: | Bibliografie | Formale Angaben |
| Relevance: | Konferenzbeitrag: h5-Index < 30 |
| Open Access: | Closed Access |
| Licence (German): |  Urheberrechtlich geschützt |