Стартап доказывает уязвимость корпоративных сетей математически
- пятница, 8 апреля 2016 г. в 03:11:37
xaker
https://xakep.ru/2016/04/06/veriflow/
Стартап Veriflow разработал технологию, которая позволяет применять формальную верификацию для анализа структуры сложных корпоративных сетей. Она обнаруживает все возможные пути передачи данных и заранее выявляет ошибки, изъяны и уязвимости в организации сети.
Стартап Veriflow разработал технологию, которая позволяет применять формальную верификацию для анализа структуры сложных корпоративных сетей. Она обнаруживает все возможные пути передачи данных и заранее выявляет ошибки, изъяны и уязвимости в организации сети.