A Verification Method for Security and Safety of IoT Applications through DSM Language and Lustre

Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

Development of Internet of Things (IoT) brings a variety of IoT applications that involve housing, navigation, payment, and healthcare. Since IoT applications play an important role in our lives, security is critical to these applications and must be guaranteed. In order to realize this, the paper proposes a pre-execution verification method for downloaded IoT applications, which meets security and safety requirements of users using model checking. The model checking requires special models for verification, which is difficult to describe for developers. So we introduce a domain-specific modeling language (DSML) to describe IoT application and a generator from the DSML into the model to pre-execution verification and execution. Also, as a case study, we provide a study of our method used in a smart house application, which is one of the most representative examples in IoT applications.

本文言語英語
ホスト出版物のタイトルProceedings of the 2020 3rd International Conference on Information Science and System, ICISS 2020
出版社Association for Computing Machinery
ページ166-170
ページ数5
ISBN(電子版)9781450377256
DOI
出版ステータス出版済み - 3 19 2020
イベント3rd International Conference on Information Science and System, ICISS 2020 - Virtual, Online, 英国
継続期間: 3 19 20203 22 2020

出版物シリーズ

名前ACM International Conference Proceeding Series

会議

会議3rd International Conference on Information Science and System, ICISS 2020
国/地域英国
CityVirtual, Online
Period3/19/203/22/20

All Science Journal Classification (ASJC) codes

  • 人間とコンピュータの相互作用
  • コンピュータ ネットワークおよび通信
  • コンピュータ ビジョンおよびパターン認識
  • ソフトウェア

フィンガープリント

「A Verification Method for Security and Safety of IoT Applications through DSM Language and Lustre」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル