Protocol Design And Analysis In The Symbolic Model