文献

J-GLOBAL ID：201702215414666241   整理番号：17A1635407

変異依存型による安全な情報フロー検証【Powered by NICT】

Secure information flow verification with mutable dependent types

著者 (4件)： Ferraiuolo Andrew (Cornell University, Ithaca, NY 14850, USA) ,  Weizhe Hua (Cornell University, Ithaca, NY 14850, USA) ,  Myers Andrew C. (Cornell University, Ithaca, NY 14850, USA) ,  Suh G. Edward (Cornell University, Ithaca, NY 14850, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DAC  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハードウェア設計時間で安全なことを保証するために,情報フロー型システムを用いた新しい安全なハードウェア記述言語(HDL)を提示した。このHDLの新規性は多重セキュリティレベルにおけるハードウェアモジュールと貯蔵要素を共有する安全にその能力にある。以前の安全なHDLとは異なり,新しいHDLは細粒度とセキュリティ強化のためのハードウェアを添加暗黙にせずに安全共有を可能にする;陰的に付加したハードウェアは機能性および害効率を破ることができるので,これは重要である。新しいHDL,安全で正確な,効率的であることを実用的なハードウェア設計を可能にする。モードを変化させる保護リングと命令を支持する合成可能なパイプラインプロセッサ実装を設計し,型チェックするためにそれを使用することにより新しいHDLの実用性を実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 変異 ,  *安全性 ,  ハードウェア ,  ハードウェア設計 ,  ハードウェア記述言語 ,  セキュリティ ,  多重化
準シソーラス用語： 実用性 ,  機能性 ,  細粒度 ,  型システム ,  *情報フロー , 【Automatic Indexing@JST】

分類 (1件)： 応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (4件)： 変異 ,  依存型 ,  情報フロー ,  検証