実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析

書誌事項

タイトル別名
  • ジッコウ リレキ ニ モトヅク アクセス セイギョ ツキ プログラム ノ モデル ケンサホウ ニ ヨル ジョウホウ フロー カイセキ

この論文をさがす

収録刊行物

参考文献 (15)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ