Login / Signup

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.

Marie FarrellMatthew BradburyMichael FisherLouise A. DennisClare DixonHu YuanCarsten Maple
Published in: SEFM (2019)
Keyphrases
  • cooperative
  • formal verification
  • email
  • case study
  • image analysis