Formal integrated network security analysis tool: formal query-based network security configuration analysis.
Soumya MaityPadmalochan BeraS. K. GhoshEhab Al-ShaerPublished in: IET Networks (2015)
Keyphrases
- network security
- analysis tool
- intrusion detection
- computer networks
- risk assessment
- intrusion detection system
- dos attacks
- situation assessment
- information security
- traffic analysis
- network traffic
- denial of service
- security breaches
- database
- packet filtering
- security policies
- anomaly detection
- security protection
- ip networks
- anti phishing
- network administrators
- information systems
- network intrusion
- response time
- wired networks
- network management
- data processing
- metadata