Login / Signup
Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets.
Magdalena Payeras-Capellà
Macià Mut Puigserver
Andreu Pere Isern-Deyà
Josep Lluís Ferrer-Gomila
Llorenç Huguet i Rotger
Published in:
SecureComm (2009)
Keyphrases
</>
formal analysis
colored petri nets
petri net
ban logic
contract net protocol
supply chain
payment protocol
web services
sign language
formal methods
agent model
information systems
databases
knowledge based systems
low cost
dispute resolution
machine learning