Analyzing Stride Protocol