A Formal Validation Model for the Netconf Protocol

Abstract

Abstract. Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate and commit, which currently lack a clear description and an information model. We propose in this paper a model for validation based on XML schema trees. By using an existing logical formalism called TQL, we express important dependencies between parameters that appear in those information models, and automatically check these dependencies on sample XML trees in reasonable time. We illustrate our claim by showing different rules and an example of validation on a Virtual Private Network.

A Comprehensive Review of Practical Issues for Interoperability Using the Common Information Model in Smart Grids

“…Hallé et al [92] Yu et al [26] Zhang et al [93] RDF Dangi et al [94] Tomaszuk, Dominik [95] Nenadić et al [96]…”

“…Hallé et al [92] extracted a tree structure from the Netconf, which is a network protocol defined by Internet Engineering Task Force, and suggested the method to enable not only simple syntax checking but also semantic dependency validation based on an XML-based logical method and tree query logic.…”

Formal security policy implementations in network firewalls

“…The XML based Netconf protocol [58] was born out of the recommendations from this workshop. Netconf was designed to be a simple mechanism through which device configurations can be managed, using an XML-based system [59]. The entire, or partial, XML encoded configurations, of a Netconf enabled device can be retrieved, updated, and deployed back to the device by remote management applications.…”