C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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