constraint satisfiability
Recently Published Documents


TOTAL DOCUMENTS

9
(FIVE YEARS 1)

H-INDEX

5
(FIVE YEARS 0)

2020 ◽  
Vol 1 (1) ◽  
pp. 25-38
Author(s):  
Gregory Gutin

The Workflow Satisfiability Problem (WSP) is a problem of interest in access control of information security. In its simplest form, the problem coincides with the Constraint Satisfiability Problem, where the number of variables is usually much smaller than the number of values. Wang and Li (ACM Trans. Inf. Syst. Secur. 2010) were the first to study the WSP as a problem parameterized by the number of variables. Their paper initiated very fruitful research surveyed by Cohen, Crampton, Gutin and Wahlström (2017). In this paper, we overview more recent WSP algorithmic developments and discuss computational experiments performed on two new testbeds of WSP instances. These WSP instances are closer to real-world ones than those by Karapetyan et al. (JAIR 2019). One of the two testbeds is generated using a novel iterative approach for obtaining computationally hard WSP instances.





2007 ◽  
Vol 174 (6) ◽  
pp. 45-61 ◽  
Author(s):  
Nicole Bidoit ◽  
Dario Colazzo


2004 ◽  
Vol 33 (3-4) ◽  
pp. 221-249 ◽  
Author(s):  
Silvio Ghilardi


Author(s):  
Anna Formica ◽  
Michele Missikoff ◽  
Roberto Terenzi


1990 ◽  
Vol 1 (1-4) ◽  
pp. 49-73 ◽  
Author(s):  
Ronen Feldman ◽  
Martin Charles Golumbic




Sign in / Sign up

Export Citation Format

Share Document