anchor: Control should be installed at an application's interfaces with other systems to ensure that all inputs are received and are valid and outputs are correct and properly distributed.
positive: It should be ensured that all inputs are valid.
negative: It should be ensured that all inputs are invalid.