Maxima で綴る数学の旅

セキュリティとコンピュータと数学の歴史の話です。 ある種のセキュリティの勉強をしているとアクセスコントロールのポリシーの話が出てきます。中でもBell LaPadulaモデルというモデルが秘匿性のモデルとして登場します。 Bell-LaPadulaモデルでは情報の機密度の階層を考えます。例えば、トップシークレット、シークレッ…