A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol.
J. Strother MoorePublished in: Formal Aspects Comput. (1994)
Keyphrases
- formal model
- asynchronous communication
- security properties
- synchronous communication
- lightweight
- service composition
- formal models
- formal analysis
- theorem prover
- ws bpel
- security patterns
- tcp ip
- model checking
- network protocols
- predicate calculus
- communication protocol
- service oriented
- application layer
- security protocols