Automated validation of service configuration on network devices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3271, Issue , 2004, Pages 176-188

  Hallé, Sylvain ^a   Deca, Rudy ^a   Cherkaoui, Omar ^a   Villemaire, Roger ^a  

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

Author keywords

Automated configuration validation; Network service management

Indexed keywords

FORESTRY; MULTIMEDIA SERVICES; TREES (MATHEMATICS);

AUTOMATED CONFIGURATION; LOGICAL FORMALISM; NETWORK DEVICES; NETWORK SERVICE MANAGEMENTS; NETWORK SERVICES; REAL-WORLD NETWORKS; SERVICE CONFIGURATION; TREE STRUCTURES;

COMPLEX NETWORKS;

EID: 33750245502     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30189-9_15     Document Type: Article

References (21)

1. Alechina, N., Demri, S., De Rijke M.: A modal perspective on path constraints. Journal of Logic and Computation, 13(6) (2003) 939-956.
2. Al-Shaer E., Hamed H.: Discovery of Policy Anomalies in Distributed Firewalls. Proc. IEEE INFOCOM (2004)
3. Bush, R., Griffin, T.: Integrity for Virtual Private Routed Networks. Proc. IEEE INFOCOM (2003)
4. Cardelli, L.: Describing semistructured data. SIGMOD Record, 30(4) (2001) 80-85
5. Cardelli, L., Ghelli, G.: TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science (to appear).
6. Deca, R., Cherkaoui, O., Puche, D.: A Validation Solution for Network Configuration. Communications Networks and Services Research Conference (CNSR 2004), Fredericton, N.B. (2004)
7. Distributed Management Task Force, http://www.dmtf.org/
8. DSP111, DMTF white paper, Common Information Model core model, version 2.4, August 30, 2000.
9. Fournet C., Gonthier G., Lévy J.-J., Maranget, L., Rémy, D.: A Calculus of Mobile Agents. Proc. CONCUR'96 (1996)
10. Fuller, V., Li, T., Yu, J., Varadhan, K.: Classless Inter-Domain Routing (CIDR): an Address Assignment and Aggregation Strategy. RFC 1519 (1993)
11. Gottlob G., Koch, C.: Monadic queries over tree-structured data. LICS'02 (2002) 189-202
12. ITU Recommendation M.3000, Overview of TMN Recommendations. February 2000.
13. Mayer, A., Wool, A., Ziskind, E.: Fang: A Firewall Analysis Engine. Proc. IEEE Symposium on Security and Privacy (2000)
14. Miklau G., Suciu, D.: Containment and equivalence for an Xpath fragment. Proc. PODS 2002 (2002) 65-76
15. Pepelnjak, I., Guichard, J.: MPLS VPN Architectures, Cisco Press (2001)
16. Rekhter, Y., Li, T.: An Architecture for IP Address Allocation with CIDR. RFC 1518 (1993)
17. Rosen, E., Rekhter, Y.: BGP/MPLS VPNs. RFC 2547 (1999)
18. Scott, C., Wolfe, P. Erwin, M.: Virtual Private Networks, O'Reilly (1998)
19. Strassner J., Baker F.: Directory Enabled Networks, Macmillan Technical Publishing (1999)
20. TQL web site, Università di Pisa, http://tql.di.unipi.it/tql/
21. Vitek, J., Castagna, G.: Seal: a framework for secure mobile computations. Internet Programming Languages, LNCS 1686 (1999) 44-77