用于路由和上下文传播的网络节点合作行为的形式验证| IEEE会议出版物| IEEE Xplore