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.1 © IFIP International Federation for Information Processing 2004.
CITATION STYLE
Halle, S., Deca, R., Cherkaoui, O., Villemaire, R., & Puche, D. (2004). A formal validation model for the netconf protocol. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3278, 147–158. https://doi.org/10.1007/978-3-540-30184-4_13
Mendeley helps you to discover research relevant for your work.