5. Record Protocol
The modelling of the Record Protocol is quite coarse, and simply treats all encryption as chunks of authenticated encryption. The abstract modelled Record Protocol is described in section 5.1.
The modelling of the Record Protocol is quite coarse, and simply treats all encryption as chunks of authenticated encryption. The abstract modelled Record Protocol is described in section 5.1.