Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kuninobu, Shigeta"'
Publikováno v:
Electronics & Communications in Japan, Part 3: Fundamental Electronic Science. Sep2004, Vol. 87 Issue 9, p48-61. 14p.
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, ソフトウェアサイエンス. 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
