Traditional fair non-repudiation protocol which need a fixed trusted third party could not assure the high efficiency and security of Manet because the Manet is centralless and no nodes can be trusted. So we propose a fair non-repudiation protocol for Manet based on the secure architecture of trusted platform module

which use dynamic third party instead of traditional fixed trusted third party to improve the efficiency of the protocol

and ensure the evidences is trusted by using the integrity measurement and the interface of direct anonymous attestation based on trusted platform module. Then we modeling the new protocol formally by Event B

and prove the validity and the fairness of the protocol.