US8316447B2 - Reconfigurable Message-Delivery Preconditions for Delivering Attacks to Analyze the Security of Networked Systems