Verisign reports 13 percent year-over-year revenue growth to the end of the thrid quarter of 2013