Sequential Protocol Composition in Maude-NPA.
Santiago EscobarCatherine A. MeadowsJosé MeseguerSonia SantiagoPublished in: ESORICS (2010)
Keyphrases
- lightweight
- network protocols
- coloured petri nets
- cryptographic protocols
- formal specification
- web service composition
- formal analysis
- security analysis
- equational theories
- composite web services
- communication protocol
- security protocols
- sequential data
- real time
- application layer
- distributed databases
- communication protocols
- sequential search
- database systems
- artificial intelligence
- file transfer
- learning algorithm
- neural network