Some new properties are obtained for generalized second-order contingent (adjacent) epiderivatives of set-valued maps. By employing the generalized second-order adjacent epiderivatives, necessary and sufficient conditions of Benson proper efficient solutions are given for set-valued optimization problems. The results obtained improve the corresponding results in the literature.