1. [n. d.]. EAP Protocol wpa_supplicant source code. https://w1.fi/cgit. [n. d.]. EAP Protocol wpa_supplicant source code. https://w1.fi/cgit.
2. [n. d.]. EAP Protocols FreeRadius source code. https://github.com/FreeRADIUS/ freeradius-server. [n. d.]. EAP Protocols FreeRadius source code. https://github.com/FreeRADIUS/ freeradius-server.
3. [n. d.]. OpenSSH source code. https://github.com/openssh/. [n. d.]. OpenSSH source code. https://github.com/openssh/.
4. [n. d.]. OpenVPN source code. https://github.com/OpenVPN/openvpn. [n. d.]. OpenVPN source code. https://github.com/OpenVPN/openvpn.
5. Fides Aarts , Joeri De Ruiter , and Erik Poll . 2013 . Formal models of bank cards for free. In Software Testing , Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on. IEEE, 461--468 . Fides Aarts, Joeri De Ruiter, and Erik Poll. 2013. Formal models of bank cards for free. In Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on. IEEE, 461--468.