%0 Conference Paper %1 conf/idaacs/BuhlerZZWS21 %A Bühler, Heiko %A Zbrzezny, Andrzej %A Zbrzezny, Agnieszka M. %A Walz, Andreas %A Sikora, Axel %B IDAACS %D 2021 %I IEEE %K dblp %P 343-347 %T Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems. %U http://dblp.uni-trier.de/db/conf/idaacs/idaacs2021.html#BuhlerZZWS21 %@ 978-1-6654-2605-3

@inproceedings{conf/idaacs/BuhlerZZWS21, added-at = {2022-10-02T00:00:00.000+0200}, author = {Bühler, Heiko and Zbrzezny, Andrzej and Zbrzezny, Agnieszka M. and Walz, Andreas and Sikora, Axel}, biburl = {https://www.bibsonomy.org/bibtex/24ecd26526a0ac85bef998a828e89ae04/dblp}, booktitle = {IDAACS}, crossref = {conf/idaacs/2021}, ee = {https://doi.org/10.1109/IDAACS53288.2021.9660937}, interhash = {13cb2a618cf115a537f196f289930b24}, intrahash = {4ecd26526a0ac85bef998a828e89ae04}, isbn = {978-1-6654-2605-3}, keywords = {dblp}, pages = {343-347}, publisher = {IEEE}, timestamp = {2024-04-10T01:06:23.000+0200}, title = {Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems.}, url = {http://dblp.uni-trier.de/db/conf/idaacs/idaacs2021.html#BuhlerZZWS21}, year = 2021 }