We also equip ''(n)sec'' with heartbeat to ensure in-session forward secrecy, periodical consistency check and freshness.
Finally, we We propose the possibility of using block-based, rather than stream-based, encryption for the symmetric encryption primitives. Finally, other protocol design possibilities we considered and the rationale for not pursuing them further is discussed in [[#Appendix_B:_Other_design_possibilities|Appendix B: Other design possibilities]]
= IV. Security Properties =