Protocol specification