Verification of RabbitMQ with Kerberos Using Timed Automata.

Ran Li Jiaqi Yin Huibiao Zhu Phan Cong Vinh

Published in: Mob. Networks Appl. (2022)

Keyphrases

timed automata
model checking
temporal logic
reachability analysis
formal verification
verification method
concurrent systems
formal methods
asynchronous circuits
theorem proving
secret key
neural network
theorem prover
genetic algorithm
artificial intelligence
face verification