You need more than termination to protect against a denial of service; you need to know that a function terminates promptly. Most denial-of-service attacks are

You need more than termination to protect against a denial of service; you need to know that a function terminates promptly. Most denial-of-service attacks are about functions that run slowly (e.g. O(N^2) or exponential).