This approach is modular, comprising a separate proof of each protocol section and providing insight into the network environment in which each section can be reliably employed.
Это модульный, включающий отдельное доказательство каждого раздела протокола и обеспечивающий понимание сетевой среды, в которой может надёжно использоваться каждый раздел.