On privacy verification in the IoT service based on PN2

In recent years, Internet of Things (IoT) has attracted many attention. However, it still lacks on security consideration. Conventional ways of security design might not be sufficiently effective when dealing with new types of heterogeneous systems. In this paper, we proposed a privacy verification procedure for IoT based on agent oriented Petri net (Petri nets in a Petri net; PN2 ). We developed the privacy specification for IoT which is necessary in order to deal with the data leak problem. We implemented the procedure to IoT environment by checking the reachability of privacy violation marking. Finally, we showed an application example.