Milind Tambe, Fernando Ordonez and Sarit Kraus; 5. IRIS: a tool for strategic security