A Correctness Proof of the DSR Protocol.

Huabing Yang Xingyuan Zhang Yuanyuan Wang

Published in: MSN (2006)

Keyphrases

correctness criterion
formal proof
linear logic
lightweight
provably correct
communication protocol
cryptographic protocols
network protocols
database
security protocols
communication protocols
coloured petri nets
information systems
integrity constraints
tcp ip
mathematical proofs