机译:传输层的连接管理:服务规范和协议验证
机译:会话协议:用于规范和验证反应式电子服务的形式主义
机译:基于真实MANET实验的传输层协议(UDP和TCP)仿真模型的开发和验证
机译:用于高层协议和网络服务的分布式和灵活管理的体系结构
机译:经过验证的传输层连接管理协议
机译:分层通讯协议的规范,组成和自动验证。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:查看IEEE 802.16 MAC层连接管理的服务规范:一种正式的方法
机译:计算机通信传输协议的规范。第1卷。概述和服务。第2卷。第2类议定书。第3卷。第4类议定书