A comparison of security requirements engineering methods
The DLV System for Knowledge Representation and Reasoning