Applying the Isabelle Insider framework to airplane security.

Florian Kammüller Manfred Kerber

Published in: Sci. Comput. Program. (2021)

Keyphrases

main contribution
data mining
theoretical framework
databases
probabilistic model
lightweight
intrusion detection
neural network
information systems
network security
security issues
information assurance