A correctness proof of the SRP protocol.
Huabing YangXingyuan ZhangYuanyuan WangPublished in: IPDPS (2006)
Keyphrases
- formal proof
- correctness criterion
- provably correct
- linear logic
- coloured petri nets
- lightweight
- network protocols
- theorem prover
- communication protocols
- communication protocol
- formal analysis
- theorem proving
- digital libraries
- real time
- ip address
- multi party
- end to end
- complete axiomatization
- mathematical proofs
- data sets