Protocol Composition Logic (PCL).
Anupam DattaAnte DerekJohn C. MitchellArnab RoyPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- lightweight
- classical logic
- modal logic
- coloured petri nets
- network protocols
- logic programming
- multi party
- security protocols
- predicate logic
- tcp ip
- model checker
- multi agent
- communication protocol
- cryptographic protocols
- file transfer
- composite web services
- authentication protocol
- web services composition
- application layer
- formal analysis
- web service composition
- model checking
- access control