Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets | Publicación