Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems.
Heiko BühlerAndrzej ZbrzeznyAgnieszka M. ZbrzeznyAndreas WalzAxel SikoraPublished in: IDAACS (2021)
Keyphrases
- communication systems
- formal verification
- real time
- model checking
- information processing systems
- computer systems
- blind equalization
- bounded model checking
- underwater acoustic
- automated verification
- model checker
- multiple access
- symbolic model checking
- channel estimation
- communication technologies
- smart card
- formal specification
- software engineering