Communication protocols; Formal description; SDL; Java; Compilation;
机译:用Java实现通讯协议
机译:使用JavaSPI的安全协议的形式合理的实现
机译:可证明正确的Spi Calculus安全协议规范的Java实现
机译:Java中的通信协议实现
机译:模型验证方法在JAVA通信协议上的应用(法文)。
机译:关于在非图片归档和通信环境中实现基于Java的图像和报告分发系统的评论
机译:用于资源受限设备和无线传感器网络之间安全通信的轻量级加密和身份验证协议:评估和实施
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范