Presidente executivo da VeriSign vende US$ 1,005 milhão em ações