What protocol does the IDE use to upload sketches to a board?

Stk500 is not a very GOOD protocol. I wouldn't expect most logic analyzers to decode it any further than the byte-at-a-time UART display.