Tagged protocol-analysis