A method for verifying the secondary virtual circuit of smart substations based on region partition, data flow direction and port matching | IEEE Conference Publication | IEEE Xplore