Tuesday, April 5, 2016

This startup uses math to show whether your network is safe


How do you know your network is safe from attacks and failures? Veriflow, a startup with backing from the U.S. Defense Department, says it can make sure.


Veriflow applies a practice called formal verification, used in preparing Mars missions and military gear, to figure out ahead of time what could go wrong on a network. Using that information, it helps enterprises apply policies to prevent problems from starting or spreading.


If this sounds more at home in a lab than in a data center, it may be because that’s where it came from. Veriflow’s CTO, CSO and principal…



Source link



This startup uses math to show whether your network is safe

No comments:

Post a Comment