Khi xem xét các giao thức, tôi bắt đầu bằng cách tìm kiếm các bài kiểm tra bất biến và tài liệu như là bước đầu tiên. Đó là cách nhanh nhất để hiểu những thuộc tính nào quan trọng và cách thức hoạt động của giao thức. Nếu tôi không tìm thấy bất kỳ bất biến nào được tài liệu hóa, tôi biết phải tiến hành cẩn thận.