Get the LinuxSecurity news you want faster with RSS
Powered By
Security Dictionary
Can't tell 'smtp' from 'snmp'? Find the precise meaning of these and hundreds of other security-related terms in our convenient and up-to-date Security Dictionary.
correctness proof
(I) A mathematical proof of consistency between a specification
for system security and the implementation of that specification.
(See: formal specification.)
