Sign in

Finding Cryptocurrency Attack Indicators Using Temporal Logic and Darkweb Data.

Mohammed AlmukayniziVivin PaliathMalay ShahMalav ShahPaulo Shakarian
Published in: ISI (2018)
Keyphrases
  • temporal logic
  • data sets
  • search algorithm
  • data sources
  • model checking
  • modal logic
  • verification method