The site menu is from hereThe head of this page

This is an explanation of shortcut keys. To link or execute a function, press any of the following combinations of shortcut keys and then press Enter.  To listen to an explanation of shortcut keys, press Alt and 0.  To display the top page, press Alt and 1.  To login, press Alt and 2.  To display the Simple Search page, press Alt and 3.  To display the Advanced Search page, press Alt and 4.  To display the Search page for persons with disabilities, press Alt and 5.  To sort search results, press Alt and 6.  To display the NDL homepage, press Alt and 7.  To refine search results, press Alt and 8.  This ends the explanation of shortcut keys.

The navigation is from here

The navigation is to here

A body is from here

Format 記事・論文


森本 祥一,程 京徳


Title UMLによるプロテクションプロファイルのモデル化とその形式的検証
Author 森本 祥一
Author 程 京徳
Series フォーマルアプローチ論文特集
Place of Publication (Country Code) JP
Year of Publication(W3CDTF) 2006-04
Subject Heading(Keyword) ISO/IEC 15408
Subject Heading(Keyword) コモンクライテリア
Subject Heading(Keyword) デザインパターン
Subject Heading(Keyword) 定理証明
Subject Heading(Keyword) モデル検査
Target Audience 一般
Material Type 記事・論文
is part of (URI Form)
is part of (ISSN Form) 18804535
is part of (ISSN-L Form) 18804535
Magazine-which-carries-the-article name 電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems / 電子情報通信学会 編
Printing volume 89
Printing number 4
Printing through number 412
Printing page 726~742
Language(ISO639-2 Form) jpn : 日本語

A body is to here

Copyright © 2012 National Diet Library. All Rights Reserved.

Foot is to here