Vulnerability modeling and monadic dynamical systems