1. An apparatus for detecting configuration options, the apparatus comprising: at least one processor; a non-transitory computer-readable storage medium including instructions executable by the at least one processor, the instructions configured to implement, an option detector configured to receive a basic model of a security protocol for at least one security protocol entity, the at least one security protocol entity including a client, a service provider, and an identity provider, the basic model including parameters associated with the security protocol for the client, the service provider, and the identity provider, the parameters including a first parameter, a second parameter, and a third parameter, the option detector configured to receive a set of options, the set of options being variations of the parameters of the basic model, the set of options including a first option that is a variation of the first parameter, a second option that is a variation of the second parameter, and a third option that is a variation of the third parameter, the option detector configured to detect which of the options within the set of options are used within an implementation of the security protocol including generating a first test case configured to detect the first option within the implementation of the at least one security protocol entity, a second test case configured to detect the second option within the implementation of the at least one security protocol entity, and a third test case configured to detect the third option within the implementation of the at least one security protocol entity, and independently executing each of the first, second, third test cases to determine whether or not the first option, the second option, and the third option exist within the security protocol, wherein the option detector is configured to determine that the third option is found within the implementation of the at least one security protocol entity based on the execution of the third test case, the option detector being configured to update the basic model with the third option by replacing the third parameter with the variation of the third parameter represented by the third option.