K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control.
Ruotian Liu, Wei Duan, Agostino Marcello Mangini, Maria Pia Fanti
Browse the full SMC paper archive.
Ruotian Liu, Wei Duan, Agostino Marcello Mangini, Maria Pia Fanti
Browse the full SMC paper archive.