Automated formal analysis of NetConf protocol for authentication properties
Farnaz Izadi, Hadi Shahriar Shahhoseini · 2012
When a network manager wants to install, manipulate, and delete network devices configuration, he needs to use NetConf protocol. NetConf is a one of the famous protocols for configuration and management of network devices, based on a flexible XML-encoded message format. This protocol is recently proposed by the IETF and under RFC6241. We work with pi calculus and extensive model applied pi calculus of Abadi and Fournet which are the input languages our tool used. In this paper, using the ProVerif cryptographic protocol verifier, we first analyze the NetConf protocol defined in the RFC6241, which relies on transport layer for authentication. Then identity manager for device will be authenticated.