Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks.
Arun PrakashZoltán TheiszRanganai ChaparadzaPublished in: Trans. Comput. Sci. (2012)
Keyphrases
- computer networks
- formal methods
- model checking
- formal specification language
- network security
- modeling language
- intrusion detection system
- reactive systems
- communication networks
- computer systems
- safety critical
- knowledge based systems
- building blocks
- network management
- formal specification
- temporal logic
- software engineering
- formal analysis
- network traffic
- knowledge base
- metadata
- object recognition
- real world
- development lifecycle
- computer network security
- web services
- process algebra
- information systems
- intrusion detection
- database systems