一种基于帐户的安全有效的电子税务协议模型

运用电子商务的原理及技术，提出了一种基于帐户的电子税务协议模型，形式化地描述了协议模型的3个主体部分－注册子协议、申报征收子协议和查询子协议，并对协议的保密性、完整性、可追究性和公平性进行了论证 。该协议模型在所研制的网络税务系统中得到实现，并已经在实际应用中得到验证。