Patel, S. C. and Graham, J. H. (2010), "Proving Correctness of SCADA Security-Enhancement Models", Journal of Information System Security, 6 (2): 47–67.
Price: $7.99