唐俊华 胡迎松 毕方明 丁祥武 张虹 米海波 王怀民 尹刚 郝黎明 张文博 许峰 陆松年 杨树堂 郭守烈

抽象状态机 数字证书 负载均衡 分布式哈希表 公钥基础设施 最佳路由 有限状态机 抽象状态机语言 双向路由 路由 验证 对等网 对等网络 Web服务