On privacy verification in the IoT service based on PN2 | IEEE Conference Publication | IEEE Xplore