mal-lang / mal-simulator

Apache License 2.0
2 stars 1 forks source link

Add true state and use it in defender observed state #71

Closed mrkickling closed 1 month ago

mrkickling commented 1 month ago

Add true_obs_state to MalSimulator containing the true observed_state of the attackgraph.

The defender observation will be equal to the true obs state if defender observation is cumulative and if untravarsable attack steps are uncompromised.

Non-cumulative mode will not work in regards to disabled attack steps, please see #72 for a new design solution for this (that branch has this branch as base)