Login / Signup

Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.

Gerrit RothmaierTobias KneiphoffHeiko Krumm
Published in: SPIN (2005)
Keyphrases
  • computer networks
  • high level
  • low level
  • model validation
  • data analysis
  • network traffic
  • source code
  • computer systems
  • real time
  • databases
  • learning algorithm
  • unsupervised learning