文献

J-GLOBAL ID：201702240783608696   整理番号：17A1646550

型コードモデルを用いた位置危険なソフトウエア資源活用【Powered by NICT】

Localising unsafe software resource usage with typed code model

著者 (2件)： Tsvetkov Lavrentii (ITMO University, Saint Petersburg, Russia) ,  Spivak Anton (ITMO University, Saint Petersburg, Russia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： FRUCT  ページ： 466-471  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラムコードの開発したモデルを用いて欠陥探索自動化による資源漏出に対する品質保証のための方法を提示した。プログラムによって要求された資源状態マーカーを貯蔵拡張タイプを同定し,帰属した。検出は,資源管理機能に従ってコードモデルの要素にこのマーカーの帰属によって起こり,資源の利用可能性を証明した。モデルの規則に従ってマーカーの伝搬により起こるはさらなる解析。ルールは,資源ハンドルの不安全な使用を妨げることである方法で構造化された。分析段階での特定の規則を適用することできない資源は,不安全な方法で用いて,プログラムにおける潜在的セキュリティ欠陥を起こしていることを示した。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件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 型 ,  モデル ,  ソフトウエア ,  資源活用