Modelling Ciphersuite and Version Negotiation in the TLS Protocol.
Benjamin DowlingDouglas StebilaPublished in: ACISP (2015)
Keyphrases
- negotiation protocol
- cooperative
- multi agent systems
- lightweight
- trust negotiation
- dispute resolution
- contract net protocol
- multi agent
- software agents
- authentication protocol
- coloured petri nets
- automated negotiation
- electronic commerce
- communication protocol
- formal analysis
- multi party
- agent mediated
- constraint directed
- automated trust negotiation
- digital libraries