Zobrazeno 1 - 5
of 5
pro vyhledávání: '"セキュリティクラス"'
Publikováno v:
電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems. (10):961-973
本論文では，一般に再帰を含むプログラムに対して情報フローを効率良く解析する手法を示す．この手法において，データの機密度を表すセキュリティレベルは任意の有限分配束によっ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::b5e79bcc370867775b1397710816538b
http://hdl.handle.net/10173/672
http://hdl.handle.net/10173/672
Publikováno v:
電子情報通信学会論文誌D-I. (10):961-973
本論文では，一般に再帰を含むプログラムに対して情報フローを効率良く解析する手法を示す．この手法において，データの機密度を表すセキュリティレベルは任意の有限分配束によっ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::8190397663c646cdc075f71d07c619a6
https://hdl.handle.net/11094/26449
https://hdl.handle.net/11094/26449
Publikováno v:
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 102(246):19-24
情報漏洩解析とは, 重要な情報を扱うプログラムが情報の漏洩を引き起こさないかどうか確認するための手法である. プログラムの入力値に設定された機密度から出力値の機密度を求める
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::f2941b97a79b1a6fc0a64669a033093a
https://hdl.handle.net/11094/26713
https://hdl.handle.net/11094/26713
Publikováno v:
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 100(472):25-32
プログラムの実行によって, 機密度の高い情報が, 不特定多数のユーザにアクセスされるような記憶域に書き出されないことを保証するためには, プログラムにある機密度の情報が入力さ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::dc372433db28e8bef4a21948a83596a7
https://hdl.handle.net/11094/26697
https://hdl.handle.net/11094/26697
