Author:
Gamage Thoshitha,McMillin Bruce
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. B. Alpern and F. Schneider, Defining liveness, Information Processing Letters, vol. 21(4), pp. 181–185, 1985.
2. A. Armbruster, M. Gosnell, B. McMillin and M. Crow, Power transmission control using distributed max-flow, Proceedings of the Twenty-Ninth International Conference on Computer Software and Applications, vol. 1, pp. 256–263, 2005.
3. K. Barnes and B. Johnson, Introduction to SCADA Protection and Vulnerabilities, Technical Report INEEL/EXT-04-01710, Idaho National Engineering and Environmental Laboratory, Idaho Falls, Idaho, 2004.
4. D. Bell and L. LaPadula, Secure Computer Systems: Mathematical Foundations, MITRE Technical Report 2547, Volume I, The MITRE Corporation, Bedford, Massachusetts, 1973.
5. R. Focardi and R. Gorrieri, Classification of security properties (Part I: Information flow), in Foundations of Security Analysis and Design, Tutorial Lectures, R. Focardi and R. Gorrieri (Eds.), Springer, Berlin-Heidelberg, Germany, pp. 331–396, 2001.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献