Abstract | ||
---|---|---|
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 loT based on agent oriented Petri net (Petri nets in a Petri net; PN2). We developed the privacy specification for loT 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. |
Year | Venue | DocType |
---|---|---|
2016 | 2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Muhammad Syafiq Bin Ab Malek | 1 | 0 | 1.35 |
Mohd Anuaruddin Bin Ahmadon | 2 | 6 | 10.13 |
shingo | 3 | 64 | 31.04 |
B. B. Gupta | 4 | 45 | 3.98 |