Dolev's Algorithm