3 ms·

There is a typo in the paper, both 'Response Integrity' and 'Tab Non-Interference' are called 'second property'.