Advanced Persistent Threats (APT) are a type of sophisticated multistage cyber attack, and the defense against APT is challenging. Existing studies apply signature-based or behavior-based methods to analyze monitoring data detect APT, but little research has been dedicated important problem addressing detection with limited resources. In order maintain primary functionality system, resources al...

The resource-bounded alternating-time temporal logic RB±ATL combines strategic reasoning with about resources. Its model-checking problem is known to be 2exptime-complete (the same as its proper extension RB±ATL⁎) and fragments have been identified lower the complexity. In this work, we consider variant RB±ATL+ that allows for Boolean combinations of path formulae starting single operators, but...

Social business organizations work to achieve social and goals create shared value (CSV). Strategic human resource management (SHRM) is one of the key components optimizing value. The available literature needs more evidence on how these manage their resources. This study aims bridge gap by examining HRM approaches in creating for organization. analyzed four cases through semi-structured interv...

Many models have been developed to study homeland security games between governments (defender) and terrorists (attacker, adversary, enemy), with the limiting assumption of the terrorists being rational or strategic. In this paper, we develop a novel hybrid model in which a centralized government allocates defensive resources among multiple potential targets to minimize total expected loss, in ...