Analyzing Network Management Effects with SPIN and cTLA.
Gerrit RothmaierAndre PohlHeiko KrummPublished in: SEC (2004)
Keyphrases
- network management
- computer networks
- network monitoring
- network traffic
- fault management
- mobile agents
- ip networks
- network resources
- configuration management
- traffic control
- high speed networks
- application level
- agent technology
- security policies
- network management protocol
- database systems
- real world
- network security
- software agents
- model selection
- object recognition
- cooperative
- network administrators
- data mining