Security Analysis Based on Petri Net for Separation Mechanisms in Smart Identifier Network.

Linyuan Yao, Ping Dong, Xiaojiang Du, Hongke Zhang

Browse the full ICCCN paper archive.