Making security type systems less ad hoc.

Tobias Nipkow Andrei Popescu

Published in: it Inf. Technol. (2014)

Keyphrases

security systems
information systems
management system
complex systems
database
expert systems
distributed systems
access control
information assurance
data sets
intrusion detection
information security
security protocols
cyber attacks
malware detection