. 2021 Feb 26;16(2):e0247441. doi: 10.1371/journal.pone.0247441
© 2021 Kang et al
This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Fig 13. ProVerif simulation code for the home node process.
