The Pandemic Impact on Organizations Security and Resiliency: The Workflow Satisfiability Problem.
Monsef BoughrousHanan El BakkaliAsmaa El KandoussiPublished in: HIS (2021)
Keyphrases
- satisfiability problem
- temporal logic
- np complete
- search algorithm
- security breaches
- phase transition
- pspace complete
- stochastic local search algorithms
- information systems
- access control
- sat instances
- sat problem
- information security
- stochastic local search
- information technology
- mazurkiewicz traces
- public health
- model checking
- virtual enterprise
- decision procedures
- workflow management systems
- business processes
- web services
- presburger arithmetic
- knowledge base