非暂态计算机可读记录介质、验证方法和验证设备

摘要

本发明提供了非暂态计算机可读记录介质，验证方法和验证设备。非暂态计算机可读记录介质中存储有使计算机执行处理的程序，所述处理包括：在执行网络地址转换时，基于扩展IP地址信息来创建表示从源网络到目的网络的网络连接的转发图，在该扩展IP地址信息中，包括网络地址转换之前的IP地址和网络地址转换之后的IP地址的扩展IP地址、网络地址转换之前的所属域以及网络地址转换之后的所属域彼此相关联；以及基于所创建的转发图，验证从源网络到目的网络的可达性。