Non-repudiation protocols model based on first-order logic