Login / Signup

Automated Verification Methodology of Security Events Based on Heuristic Analysis.

Jungsuk SongYounsu LeeKyuil KimSeokhun KimSookyun KimSang-Soo Choi
Published in: Int. J. Distributed Sens. Networks (2015)
Keyphrases
  • search algorithm
  • programming language
  • intrusion detection
  • automated verification
  • information systems
  • data analysis
  • dynamic programming
  • model checking
  • network security
  • security issues