Using Model Checking To Find Serious File System Errors

There are many threat vectors to a modern SCADA system. One is the threat of unauthorized access to the control software, whether it is human access or changes induced intentionally or accidentally by virus infections and other software threats residing on the control host machine. Another is the threat of packet access to the network …

Using Model Checking To Find Serious File System Errors Read More »