specification may mandate that some system state, as defined by values of state
variables, can never arise.
5.2.3.2.6 Security Requirements Patterns
Research into security requirements patterns arose in parallel with research into