Java安全

Java安全技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

Java安全 热门资料

查看全部 500 份 →

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在

2024-05-09 5 Java安全

SIP 是一种在IP 网络中建立、修改和终止多媒体会话的应用层控制协议，是下一代网络的一个重要信令协议。当前的因特网主要是基于IPv4 的，IPv6 被设计来代替IPv4，但是在相当长一段时间内，两者

2023-12-29 8 Java安全