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

Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda

研究成果: Conference 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.

本文言語English
ホスト出版物のタイトルProceedings of the 2020 3rd International Conference on Information Science and System, ICISS 2020
出版社Association for Computing Machinery
ページ166-170
ページ数5
ISBN(電子版)9781450377256
DOI
出版ステータスPublished - 2020 3 19
外部発表はい
イベント3rd International Conference on Information Science and System, ICISS 2020 - Virtual, Online, United Kingdom
継続期間: 2020 3 192020 3 22

出版物シリーズ

名前ACM International Conference Proceeding Series

Conference

Conference3rd International Conference on Information Science and System, ICISS 2020
国/地域United Kingdom
CityVirtual, Online
Period20/3/1920/3/22

ASJC Scopus subject areas

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

フィンガープリント

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

引用スタイル