engineering methods to engineer efficient secure protocols, both as a generic tool and