Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
Swaraj BhatPradeep B. H.Keerthi S. ShettySanjay SinghPublished in: CoRR (2012)
Keyphrases
- formal verification
- model checker
- coloured petri nets
- model checking
- bounded model checking
- authentication protocol
- automated verification
- cryptographic protocols
- transfer learning
- symbolic model checking
- security analysis
- key distribution
- security properties
- user authentication
- trusted third party
- program slicing
- lightweight