Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets.

Magdalena Payeras-Capell, Maci Mut Puigserver, Andreu-Pere Isern-Dey, Josep-Llus Ferrer-Gomila, Lloren Huguet i Rotger

Browse the full SecureComm paper archive.