protocol analysis