The DOI matches its Crossref record; 30 of the 30 references it cites were found in a registry or an index.
Analyzing XACML policies using answer set programming
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“ASP has been increasingly recognized as a valuable tool for anomaly detection [5] and cybersecurity applications [10].”
From Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming (2025) · cites this paper as [10]
Citations
Cites
Answer set programming at a glance
Brewka, G., Eiter, T., & Truszczyński, M. (2011) · Communications of the ACM · doi:10.1145/2043174.2043195 · Cited by 931
FIREMAN: a toolkit for firewall modeling and analysis
Yuan, L., Chen, H., Mai, J., Chuah, C.-N., Su, Z., & Mohapatra, P. (2006) · 2006 IEEE Symposium on Security and Privacy (S&P'06) · doi:10.1109/sp.2006.16 · Cited by 398
Verification and change-impact analysis of access-control policies
Fisler, K., Krishnamurthi, S., Meyerovich, L. A., & Tschantz, M. C. (2005) · Proceedings of the 27th international conference on Software engineering - ICSE '05 · doi:10.1145/1062455.1062502 · Cited by 390
Discovery of policy anomalies in distributed firewalls
Al-Shaer, E. S., & Hamed, H. (2005) · IEEE Conference on Computer Communications (INFOCOM) · doi:10.1109/infcom.2004.1354680 · Cited by 373
What is answer set programming
Lifschitz, V. (2008) · National Conference on Artificial Intelligence · Cited by 330
Answer Set Solving in Practice
Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. H. (2012) · Synthesis lectures on artificial intelligence and machine learning · doi:10.2200/s00457ed1v01y201211aim019 · Cited by 288
Analyzing web access control policies
Kolovski, V., Hendler, J., & Parsia, B. (2007) · International World Wide Web Conference (WWW) · doi:10.1145/1242572.1242664 · Cited by 194
Answer Set Programming: A Primer
Eiter, T., Ianni, G., & Krennwallner, T. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-03754-2_2 · Cited by 191
Detecting and Resolving Firewall Policy Anomalies
Hu, H., Ahn, G., & Kulkarni, K. (2012) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2012.20 · Cited by 154
Liu, A. X., Chen, F., Hwang, J., & Xie, T. (2008) · ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS) · doi:10.1145/1375457.1375488 · Cited by 111
Research works printed but not linked: 2
- Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. CoRR arXiv:1405.3694 (2014) · arXiv
- Mejri, M., Yahyaoui, H.: Formal specification and integration of distributed security policies. Comput. Lang. Syst. Struct. 49, 1–35 (2017)
Cited by
Li, F., Zuo, F., & Gupta, G. (2025) · arXiv · doi:10.48550/arxiv.2512.04908 · Cited by 1
“ASP has been increasingly recognized as a valuable tool for anomaly detection [5] and cybersecurity applications [10].”
Metadata
- Authors
- Rezvani, M., Rajaratnam, D., Ignjatovic, A., Pagnucco, M., & Jha, S.
- Affiliations
- University of Shahrood (IR)
- UNSW Sydney (AU)
- Corresponding author
- Rezvani, Mohsen
- Venue
- International Journal of Information Security
- Published
- 2018-11-26
- Volume
- 18
- Issue
- 4
- Pages
- 465-479
- ISSN
- 1615-5262 (ISSN-L)
- 1615-5270
- OpenAlex
- W2902278604
- Cited by
- 23
- References
- 30
- Citations by year
- 2026: 2 · 2025: 2 · 2024: 3 · 2023: 1 · 2022: 8 · 2021: 3 · 2020: 3 · 2019: 1
- FWCI
- 3.98
- Type
- journal article
- Language
- en
- Open access
- closed
- Licence
- www.springer.com/tdm (tdm)
- Locations
- International Journal of Information Security (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computer Networks and Communications › Access Control and Trust
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Information Systems › Information and Cyber Security
- Keywords
- XACML, access control policies, answer set programming, policy analysis, policy verification, policy translation, policy conflict, reachability, clingo, policy analysis tools
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
