2024-03-28T21:57:28Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001142962023-11-17T02:17:36Z06504:07924:07930
プロトコル仕様誤りの体系的分類とプロトコル検証Systematic Classification of Protocol Specification Errors and Protocol Validationjpnhttp://id.nii.ac.jp/1001/00114318/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=114296&item_no=1&attribute_id=1&file_no=1国際電信電話株式会社国際電信電話株式会社国際電信電話株式会社角田, 良明若原, 恭乗越, 雅光プロトコル仕様誤りを検出するプロトコル検証技術は、信頼性の高い通信ソフトウェアを開発する上で極めて重要な技術である。そのため、仕様誤りを検出する様々なプロトコル検証法が提案されている。しかし、従来の研究では、限られた代表的な仕様誤りを個別に検出する検証法の提案に留まっていた。その理由は一般的な仕様誤りの厳密な定義を与えていなかったからである。本稿では、一般的な仕様誤りの厳密な定義を与えた後、その定義に従って仕様誤りを体系的に分類した結果を示す。この分類の特徴は、任意の仕様誤りをsafetyとlivenessの概念で体系的に分類している点にある。また、この分類は仕様誤りを検出するための計算複雑さによる分類にもなっている。AN00349328全国大会講演論文集第33回ネットワークおよび分散処理9979981986-10-012015-01-19