Based on the characteristics of ad hoc security routing protocols (SRPs), the advantages and disadvantages of the strand space theory are analyzed. An analysis model for protocol attacks, which leads to a nonexistent route that is accepted by the protocol, is designed on the basis of the strand space model. Finally, this paper demonstrates the usefulness of this model in the case of a security ad hoc routing protocol: Extended SRP.