Policy-Aware SMT-Based Static Verification of Distributed Access-Control Enforcement Code Proofs of Authorization Non-Interference and Policy Preservation

SSRN Electronic Journal 2026 Preprint Open access

Read full text
Authors: Mahamadu Sidibe
DOI: 10.2139/ssrn.6172020
Cited by: 0
References: 6

Fields of Study & Subjects

Access Control and Trust Security and Verification in Computing Logic programming and type systems

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Document type
Preprint