1. A method for analyzing a security of a device under analysis (DUA), comprising: identifying two or more valid message-delivery preconditions for a communication protocol supported by the DUA; selecting one of the identified valid message-delivery preconditions; and delivering an attack to the DUA according to the selected message-delivery precondition.