Towards Producing Formally Checkable Security Proofs, Automatically.

Jean Goubault-Larrecq

Published in: CSF (2008)

Keyphrases

automatically generated
security requirements
computer security
intrusion detection
security issues
data sets
access control
information security
database
real time
genetic algorithm
security policies
information assurance