1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

This startup uses math to show whether your network is safe

Discussion in 'Network World' started by RSS, Apr 5, 2016.

  1. RSS

    RSS New Member Member

    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 engineer are all longtime academics who worked on the problem together at the University of Illinois, and the National Science Foundation is a funder.

    To read this article in full or to leave a comment, please click here

    Continue reading...
     

Share This Page