...
机译:JavaSPI:安全协议实现的框架
Politecnico di Torino, Italy;
INRIA, France;
Teoresi Group, Italy;
Politecnico di Torino, Italy;
formal methods; java; JavaSPI; model-driven development; ProVerif;
机译:使用JavaSPI的安全协议的形式合理的实现
机译:云存储重新分配和安全协议的战略实施
机译:基于密码和安全协议的CISCO设备加固-第二部分:实施和评估
机译:用于安全协议实现的Java SPI框架
机译:轻量级的基于硅的安全性概念,实现和协议。
机译:朝着网络安全的基于机器学习的情境意识框架:SDN实现
机译:用于安全协议实现的JavaSPI框架
机译:严格执行安全议定书的框架技术报告系列