静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式

Call No. (NDL): Y151-H17500017
Bibliographic ID of National Diet Library: 000009279765

Material type: 図書

Author: 渡部卓雄, 東京工業大学 [著]

Publisher: [渡部卓雄]

Publication date: 2005-2006

Material Format: Paper

Capacity, size, etc.: 1冊

NDC: -

View All

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式
Title Transcription: セイテキカイセキトジッコウジケンサノユウゴウニモトズクソフトウェアノアンゼンナドウテキコウセイトジッコウホウシキ
Author/Editor: 渡部卓雄, 東京工業大学 [著]
Author Heading: 渡部, 卓雄ワタナベ, タクオ
東京工業大学トウキョウコウギョウダイガク
Publication, Distribution, etc.: [渡部卓雄]
Publication Date: 2005-2006
2007.3
Publication Date (W3CDTF): 2005
2006
Extent: 1冊
Alternative Title: Safe dynamic composition and secure execution of software based on static analysis and execution monitoring
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 形式仕様記述 / 契約による設計 / アスペクト指向 / モデル駆動開発 / 実行時検査 / 隠れチャネル / 情報漏洩 / オントロジーケイシキシヨウキジュツ / ケイヤクニヨルセッケイ / アスペクトシコウ / モデルクドウカイハツ / ジッコウジケンサ / カクレチャネル / ジョウホウロウエイ / オントロジー
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 17500017
Holding library: 国立国会図書館
Call No.: Y151-H17500017
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009279765
http://id.ndl.go.jp/bib/000009279765
Bibliographic Record Category (NDL): 214