Return to Article Details A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol Download Download PDF