Concept: Protocol analysis