机译:开发用于验证IPsec v2安全协议实现的测试套件
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004 Russia;
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004 Russia;
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004 Russia;
机译:经验证的安全协议可互操作的实现
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:离线联合仿真测试平台的实施和开发,用于研究电力系统网络安全和控制验证
机译:IPsec协议套件的安全性属性
机译:OpenMP 4.5验证和验证TestSuite:用于卸载功能的设计和实现
机译:基于模型的协议实现安全测试方法
机译:设计,验证和实施安全协议的集成开发环境
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范