Bruce M. Kapron

安全にプログラムの複雑さを分析するための新しいアプローチ、コントロールされたデータ公開を通じて。

独立性を通じて、分離論理と暗号セキュリティの関係を探る。