Formal Verification of a Mixed-Trust Synchronization Protocol.
Ruben MartinsMichael McCallDionisio de NizAmit VasudevanBjörn AnderssonMark KleinJohn P. LehoczkyHyoseung KimPublished in: RTNS (2021)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- symbolic model checking
- bounded model checking
- automated verification
- trust model
- trust evaluation
- temporal logic
- automated trust negotiation
- security services
- interprocess communication
- program slicing
- artificial intelligence
- trust management
- security protocols
- lightweight
- wireless sensor networks
- trust relationships
- secure communication