MCBAT: Model Counting for Constraints over Bounded Integer Arrays

2020 ◽  
pp. 124-143
Author(s):  
Abtin Molavi ◽  
Tommy Schneider ◽  
Mara Downing ◽  
Lucas Bang
Keyword(s):  
Model Counting

scholarly journals Symmetric Weighted First-Order Model Counting

2015 ◽  
Author(s):  
Paul Beame ◽  
Guy Van den Broeck ◽  
Eric Gribkoff ◽  
Dan Suciu
Keyword(s):  
Order Model ◽  
First Order ◽  
Model Counting

Quantifying Software Reliability via Model-Counting

2021 ◽  
pp. 59-79
Author(s):  
Samuel Teuber ◽  
Alexander Weigl
Keyword(s):  
Software Reliability ◽  
Model Counting

Assessing Heuristic Machine Learning Explanations with Model Counting

2019 ◽  
pp. 267-278 ◽  
Author(s):  
Nina Narodytska ◽  
Aditya Shrotri ◽  
Kuldeep S. Meel ◽  
Alexey Ignatiev ◽  
Joao Marques-Silva
Keyword(s):  
Machine Learning ◽  
Model Counting

scholarly journals Policy-Engineering Optimization with Visual Representation and Separation-of-Duty Constraints in Attribute-Based Access Control

2020 ◽  
Vol 12 (10) ◽  
pp. 164
Author(s):  
Wei Sun ◽  
Hui Su ◽  
Huacheng Xie
Keyword(s):  
Access Control ◽  
Hamming Distance ◽  
Visual Representation ◽  
Engineering System ◽  
Engineering Optimization ◽  
Efficiency And Effectiveness ◽  
Model Counting ◽  
Separation Of Duty ◽  
Attribute Based Access Control ◽  
Policy Mining

Recently, attribute-based access control (ABAC) has received increasingly more attention and has emerged as the desired access control mechanism for many organizations because of its flexibility and scalability for authorization management, as well as its security policies, such as separation-of-duty constraints and mutually exclusive constraints. Policy-engineering technology is an effective approach for the construction of ABAC systems. However, most conventional methods lack interpretability, and their constructing processes are complex. Furthermore, they do not consider the separation-of-duty constraints. To address these issues in ABAC, this paper proposes a novel method called policy engineering optimization with visual representation and separation of duty constraints (PEO_VR&SOD). First, to enhance interpretability while mining a minimal set of rules, we use the visual technique with Hamming distance to reduce the policy mining scale and present a policy mining algorithm. Second, to verify whether the separation of duty constraints can be satisfied in a constructed policy engineering system, we use the method of SAT-based model counting to reduce the constraints and construct mutually exclusive constraints to implicitly enforce the given separation of duty constraints. The experiments demonstrate the efficiency and effectiveness of the proposed method and show encouraging results.

Sign in / Sign up

Export Citation Format

Share Document