A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net