Formal specification of SNMPv3 entities using action semantics. - Elias P. Duarte Jr.; Martin A. Musicante; Diógenes Cogo Furlan (Int. J. Netw. Manag., 2004)