A Formal Framework of Shielding Systems by Stepwise Refinement

Download PDF

Jiabin Zhu, Wenchao Huang, Fuyou Miao, Cheng Su, Baohua Zhao, Yan Xiong

Published: 2020, Last Modified: 13 May 2025Int. J. Netw. Secur. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0