System security requirements analysis with answer set programming.

Gideon D. Bibu, Nobukazu Yoshioka, Julian A. Padget

Browse the full RE paper archive.