Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets

TitleFormal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets
Publication TypeConference Paper
Year of Publication2009
AuthorsMagdalena Payeras-Capellà, Macià Mut-Puigserver, Andreu Pere Isern-Deyà, Josep-Lluís Ferrer-Gomila, Llorenç Huguet-Rotger
Conference Name5th International ICST Conference on Security and Privacy in Communications Networks. SecureComm 2009.
Keywordsfair-exchange, formal-analysis