A Security Specification Verification Technique Using Theorem Proving and Model Checking Based on the International Standard ISO/IEC 15408

スポンサーリンク

概要

• 論文の詳細を見る

• This paper proposes a security specification verification technique based on the international standard ISO/IEC 15408. We formalized the security criteria of ISO/IEC 15408 and developed the verification technique of security specifications based on the formalized criteria with theorem-proving and model-checking. With the technique, one can formally verify whether or not specifications satisfy the security criteria of ISO/IEC 15408. Ambiguity and/or oversight about security in specifications written in natural language can also be detected.

• 日本ソフトウェア科学会の論文

日本ソフトウェア科学会 | 論文

• LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
• Bluetoothによる位置検出
• COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
• データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
• 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)

もっと見る

スポンサーリンク