Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning
ICONIP '09 Proceedings of the 16th International Conference on Neural Information Processing: Part II
Log analysis of exploitation in cloud computing environment using automated reasoning
ICONIP'10 Proceedings of the 17th international conference on Neural information processing: models and applications - Volume Part II
Faster log analysis and integration of security incidents using knuth-bendix completion
ICONIP'11 Proceedings of the 18th international conference on Neural Information Processing - Volume Part II
| Hi-index | 0.00 |