(1) 姚姜源(9/10); 立体网络安全及管控关键技术研究与大规模应用, 海南省科学技术进步奖, 一等奖, 2019(曹春杰; 李太君; 邓家先; 杨光照; 杨力; 叶俊; 郭祯; 王隆娟; 姚姜源; 李德顺;).

(2) 姚姜源(6/6); 基于形式化方法的互联网协议测试关键技术及其应用, 中国电子学会科学技术奖（技术发明）, 一等奖, 2016(尹霞; 王之梁; 施新刚; 杨家海; 吴建平; 姚姜源).