A Juridical Validation of a Contract Signing Protocol.
Josep Lluís Ferrer-GomilaApollònia Martínez NadalMagdalena Payeras-CapellàLlorenç Huguet i RotgerPublished in: EC-Web (2002)
Keyphrases
- contractual obligations
- contract net protocol
- lightweight
- dispute resolution
- supply chain
- sign language
- computational systems
- signature verification
- multi party
- coloured petri nets
- cryptographic protocols
- security analysis
- formal analysis
- signature scheme
- web services
- real time
- end to end
- evolutionary computation
- multiagent systems
- communication protocol
- key distribution
- petri net
- hidden markov models
- model validation
- evolutionary algorithm
- network protocols
- artificial intelligence
- data sets