A Formal Specification and Verification Framework for Timed Security Protocols.

Li Li Jun Sun Yang Liu Meng Sun Jin Song Dong

Published in: IEEE Trans. Software Eng. (2018)

Keyphrases

formal specification
security protocols
model checking
formal methods
concurrent systems
specification language
model checker
object oriented design
multi agent systems
temporal logic
artificial immune algorithm