Intelligent recommender system for counteracting network attacks
- 0
- 840
- Pages: 24-30
Criteria for synthesizing cyber resilient network structures
- 0
- 849
- Pages: 92-103
Verification of access control in big data systems using temporal logics
- 2
- 843
- Pages: 146-156
Methodology for finding errors and nondeclared features in software
- 1
- 848
- Pages: 157-164


