文献

J-GLOBAL ID：201802250676030026   整理番号：18A0393879

コンテンツ依存情報フロー制御【Powered by NICT】

Content dependent information flow control

著者 (2件)： Nielson Hanne Riis ,  Nielson Flemming
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 87  ページ： 6-32  発行年： 2017年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 情報フロー制御はデータが,データのその後の使用にアクセスできている調節だけでなくアクセス制御を拡張した。通信システム内の応用は,そのような情報フロー制御はデータの実際の含有量に依存することを必要とする。両方の完全性と機密性を扱う含量依存情報フロー政策を強化するために複合Hoare論理と型システムを開発した。計装化操作的意味論に関してHoare論理の健全性を確立し,走行例の開発を説明した。も非干渉に良く確立された方法は完全性と機密性を区別できないことを論じた。開発は同期通信と別々のデータドメインを持つコンカレント言語で書かれたプログラムについて行った。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 言語 ,  操作的意味論 ,  完全性 ,  干渉 ,  通信方式 ,  *コンテンツ ,  走行 ,  健全性 ,  アクセス制御 ,  通信 ,  意味論
準シソーラス用語： 型システム ,  Hoare論理 ,  *情報フロー ,  機密性 , 【Automatic Indexing@JST】

著者キーワード (6件)： 情報フロー制御 ,  コンテンツ依存政策 ,  型システム ,  Hoare論理 ,  計装化意味論 ,  非干渉

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (2件)： コンテンツ ,  情報フロー制御