Sign in
Formal Vulnerability Analysis of Security Components.
Linus Feiten
Matthias Sauer
Tobias Schubert
Victor Tomashevich
Ilia Polian
Bernd Becker
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2015)
Keyphrases
</>
information security
intrusion detection
computer security
statistical databases
security issues
security level
access control
building blocks
security requirements
security mechanisms
neural network
software components
network security
security systems
information assurance