| Item type |
National Convention(1) |
| 公開日 |
2019-02-28 |
| タイトル |
|
|
タイトル |
A Code Generating and Verification Method from DSM Language for Secure IoT Applications |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
コンピュータシステム |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
九大 |
| 著者所属 |
|
|
|
九大 |
| 著者所属 |
|
|
|
九大 |
| 著者所属 |
|
|
|
九大 |
| 著者名 |
鄒, 天翔
馮, 皓
久住, 憲嗣
福田, 晃
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
As the Internet of Things (IoT) is widely used today, IoT security is becoming important. For IoT applications with lots of sensors, just as Smart Building Application, sensors will transmit the data detected in real time. The part of the data that relates to the user’s privacy needs to be handled and protected. And needs from users might vary according to user requirements. This presentation shows a domain-specific modeling language for describing the requirements and code generators for security and privacy policy enforcement system, and in response to different requirements to handle and protect user's data. At the same time, the generator generates Lustre files so that the whole system can be easily verified whether it has been tampered with and whether user's requirement has been satisfied. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN00349328 |
| 書誌情報 |
第81回全国大会講演論文集
巻 2019,
号 1,
p. 125-126,
発行日 2019-02-28
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-Z81-4M-02.pdf (210.1 kB)
