Incremental Proof of the Producer/Consumer Property for the PCI Protocol.
Dominique CansellGanesh GopalakrishnanMichael D. JonesDominique MéryAiry WeinzoepflenPublished in: ZB (2002)
Keyphrases
- formal proof
- lightweight
- high speed
- incremental learning
- desirable properties
- security protocols
- electronic commerce
- communication protocol
- theorem proving
- formal analysis
- multi agent systems
- digital libraries
- end to end
- authentication protocol
- tcp ip
- theorem prover
- network protocols
- coloured petri nets
- key distribution
- database
- database systems
- metadata