Learn More
This paper enlarges previous works of the authors related to the security of a high-interaction honeypot. The challenge is to have a Security Property Language (SPL) for defining the required properties for controlling the activities between processes and resources. That language must authorize the definition of security properties related to(More)
Heuristic search has been widely applied to classical planning and has proven its efficiency in finding a " good and feasible " plan as quickly as possible. Finding an optimal solution remains an NP-hard problem for which even the computation of an informative admissible heuristic remains a challenge. Compared to already proposed approaches, the originality(More)
  • 1