System security requirements analysis with answer set programming | IEEE Conference Publication | IEEE Xplore