Verificación Formal de la Equidad de un Protocolo de Firma de Contratos mediante Colored Petri Nets

TitleVerificación Formal de la Equidad de un Protocolo de Firma de Contratos mediante 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 NameV Congreso Iberoamericano de Seguridad Informática (CIBSI'09)
Keywordsfair-exchange, formal-analysis