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)

Volumn 3278, Issue , 2004, Pages 147-158

  Halle, Sylvain ^a   Deca, Rudy ^a   Cherkaoui, Omar ^a   Villemaire, Roger ^a   Puche, Daniel ^b  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

^b CISCO SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY; VIRTUAL PRIVATE NETWORKS; XML;

FORMAL VALIDATION; INFORMATION MODELING; INFORMATION MODELS; LOGICAL FORMALISM; NETCONF; NETWORK CONFIGURATION; XML SCHEMA TREE; XML TREES;

INFORMATION THEORY;

EID: 35048878783     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30184-4_13     Document Type: Article

References (15)

1. Bush, R., Griffin, T.: Integrity for Virtual Private Routed Networks. Proc. IEEE INFOCOM (2003)
2. Cardelli, L.: Describing semistructured data. SIGMOD Record, 30(4) (2001) 80-85
3. Cardelli, L., Ghelli, G.: TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science (to appear).
4. Deca, R., Cherkaoui, O., Puche, D.: A Validation Solution for Network Configuration. Communications Networks and Services Research Conference (CNSR 2004), Fredericton, N.B. (2004)
5. DSP111, DMTF white paper, Common Information Model core model, version 2.4, August 30, 2000.
6. Enns, R.: NETCONF Configuration Protocol. Internet draft, Feb. 2004. http://www.ietf.org/internet-drafts/draft-ietf-netconf-prot-02.txt
7. Gottlob G., Koch, C.: Monadic queries over tree-structured data. LICS'02 (2002) 189-202
8. Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R.: Automated Validation of Service Configuration on Network Devices. Proc. MMNS 2004 (2004) (to appear).
9. Lymberopoulos, L., Lupu, E., Sloman, M.: Ponder Policy Implementation and Validation in a CIM and Differentiated Services Framework. NOMS 2004 (2004)
10. López de Vergara, J.E., Villagrá, V.A., Berrocal, J.: Semantic Management: advantages of using an ontology-based management information meta-model. HP-OVUA 2002 (2002)
11. Pepelnjak, I., Guichard, J.: MPLS VPN Architectures, Cisco Press (2001)
12. Rosen, E., Rekhter, Y.: BGP/MPLS VPNs. RFC 2547 (1999)
13. Scott, C., Wolfe, P. Erwin, M.: Virtual Private Networks, O'Reilly (1998)
14. Strassner J., Baker F.: Directory Enabled Networks, Macmillan Technical Publishing (1999)
15. TQL web site, Universita di Pisa, http://tql.di.unipi.it/tql/