情報処理学会 第81回全国大会講演要旨

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.