Geopriv协议相关论文
随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势。在网络的应用和服务中,信息安全是至关重要的环节。而安全协议......
在协议的形式化检测中，欧共体支助的基于TLA的大型项目AVISPA，其以HLPsL为描述语言，本文实现了基于TLA的Geoprivt协议的形式化分析与......
