Towards a Type System for Security APIs.

Gavin Keighren David Aspinall Graham Steel

Published in: ARSPA-WITS (2009)

Keyphrases

genetic algorithm
information security
computer security
access control
security issues
data mining
information systems
case study
source code
intrusion detection
statistical databases
security requirements
functional requirements
lightweight
network security
malware detection