Formal Methods And Tools For Testing Communication Protocol System Security