Decision letter: disagreed with few comments
A general principle that may increase your chance of acceptance is as follows: the reviewer is always right.

Of course, this does not mean that you cannot actually disagree with the reviewer. But at least for your answer letter, you should package your disagreement so that it can be understood as agreement. For example:


If the reviewer criticizes the lack of a performance experiment that you actually described in your draft, say "We agree that a formal validation alone would be insufficient to show the benefits of our technique. In fact, our previous draft already contained a section describing its implementation in a protocol verification tool and a simulation based on that implementation (Sect. X). However, we see that the structure of the paper was such that this section could easily be overlooked. In the updated submission, we have improved the structure of the paper as follows: (describe small changes)"
If the reviewer critizes the lack of a usability experiment (because you have concentrated on performance experiments), say: "We further agree that usability is another important concern of XYZ schemes. While the current submission focuses on the performance aspect, we have updated the Future Work section to give an outlook on planned user studies."