A modeling and optimization framework for adaptive countermeasure selection in reaction against cyber attacks | AI Sec Watch