移动互联网动态接入计费机制研究

传统的互联网接入计费系统一般为静态结构，主机在连接互联网过程中接入网关不变，计费系统只需在接入网关采集计费数据。对于移动adhoc网络中的移动结点，在接入互联网过程中接入网关可能发生变化，静态结构计费系统已无法满足需求。基于多网关动态接入计费机制可实现一种动态计费系统，随着接入网关的动态切换，其数据采集功能也在各计费网关间动态转移，计费服务器、计费网关以及移动终端进行协同处理。形式化验证表明，这种机制设计合理逻辑正确，通过报文交互达到计费同步，实现对移动终端进行有效计费。