Modelling and Verification of Safety of Access Control in SCADA Systems.

Inna Vistbakka, Elena Troubitsyna

Browse the full CRiSIS paper archive.