Intelligent recommender system for counteracting network attacks
- 0
- 1051
- Pages: 24-30
Criteria for synthesizing cyber resilient network structures
- 0
- 1057
- Pages: 92-103
Protection of ad-hoc networks against distributed scanning from the Internet
- 0
- 1056
- Pages: 118-128
Verification of access control in big data systems using temporal logics
- 2
- 1070
- Pages: 146-156
Methodology for finding errors and nondeclared features in software
- 1
- 1067
- Pages: 157-164


