Cyberattack Classificator Verification.

Igor Korobiichuk Ruslan Hryshchuk Victor Mamarev Volodymyr Okhrimchuk Maciej Kachniarz

Published in: DPS (2017)

Keyphrases

model checking
formal verification
artificial intelligence
face verification
signature verification
formal methods
database
data sets
computer vision
website
similarity measure
digital libraries
lower bound
special case
temporal logic