「Take-Grantモデル」において、権利の漏洩（de jure leakage）が可能かどうかを判定する問題は、計算複雑性理論においてどのような性質を持つか。

2026年3月5日

Take-Grantモデルの特定条件下（たとえば、create操作がない場合など）では、権利が特定のサブジェクトに渡るかどうかの判定（安全性問題）は線形時間で決定可能であるという特性がある。