A Code Generating and Verification Method from DSM Language for Secure IoT Applications
○鄒 天翔,馮  皓,久住憲嗣,福田 晃(九大)
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.

footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会