Matematický argument, který ověřuje, že systém splňuje matematicky popsanou bezpečnostní politiku.
Mathematical argument which verifies that the system satisfies a mathematically-described security policy.
