Modelling of identification and secret-key generation system with Colored Petri Net | IEEE Conference Publication | IEEE Xplore