Symbolic protocol verification related domains (1)