WEKO3
アイテム
F<sup>*</sup>言語によるMQTTパケットパーサの開発と安全性評価
https://ipsj.ixsq.nii.ac.jp/records/209545
https://ipsj.ixsq.nii.ac.jp/records/209545505cd447-000a-4d1e-9df4-3b72382a1017
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SPT21041008.pdf (1.3 MB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-02-22 | |||||||||
| タイトル | ||||||||||
| タイトル | F<sup>*</sup>言語によるMQTTパケットパーサの開発と安全性評価 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Development and Safety Evaluation of MQTT Packet Parser Using F<sup>*</sup> Language | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | SPT/ICSS | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 立命館大学大学院情報理工学研究科 | ||||||||||
| 著者所属 | ||||||||||
| 立命館大学情報理工学部 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Information Science and Engineering, Ritsumeikan University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| College of Information Science and Engineering, Ritsumeikan University | ||||||||||
| 著者名 |
喜多村, 卓
× 喜多村, 卓
× 上原, 哲太郎
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | IoT 製品においては，製品出荷後のバグ修正が困難なシステムなど，開発時点でバグがあってはならないシステムが存在する．このようなシステムは，プログラム開発時点で堅牢なプログラムであることは重要である．プログラムの堅牢性を保証する開発手法として形式手法が提案されているが，実際の開発現場では普及しているとは言えない．本研究では，形式手法普及の阻害要因を明らかにする目的で，プログラム検証用言語である F*言語を用いて堅牢なシステムであることが求められる MQTT パケットパーサを開発し，その過程で明らかになった課題を整理するとともに，安全性評価を行った． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA12628305 | |||||||||
| 書誌情報 |
研究報告セキュリティ心理学とトラスト（SPT） 巻 2021-SPT-41, 号 8, p. 1-7, 発行日 2021-02-22 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8671 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
