Security and availability models for smart building automation systems

International Journal of Computing

Volumn 16, Issue 4, 2017, Pages 194-202

  Kharchenko, Vyacheslav ^a   Ponochovnyi, Yuriy ^b   Qahtan, Al Sudani Mustafa ^a   Boyarchuk, Artem ^a  

^a NATIONAL AEROSPACE UNIVERSITY   (Ukraine)

^b POLTAVA NATIONAL TECHNICAL YURI KONDRATYUK UNIVERSITY   (Ukraine)

Author keywords

Building automation system; Common maintenance; Maintenances strategies; Markov model; Smart home

Indexed keywords

EID: 85040017443     PISSN: 17276209     EISSN: 23125381     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. ISO 16484-1:2010 Building Automation and Control Systems (BACS)-Part 1: Project Specification and Implementation, European Committee for Electrotechnical Standardization, Brussels, 2010, 24 p
2. ISO 16484-2:2004 Building Automation and Control Systems (BACS)-Part 2: Hardware. European Committee for Electrotechnical Standardization, Brussels, 2004, 58 p
3. A.-S. M. Q. Abdulmunem and V. S. Kharchenko, "Availability and security assessment of smart building automation systems: combining of attack tree analysis and Markov models," in Proceedings of the Third International Conference on Mathematics and Computers in Sciences and in Industry (MCSI), Chania, 2016, pp. 302-307
4. A.-S. M. Q. Abdulmunem, W. A.-K. Ahmed, V. Kharchenko, "Ata-based security assessment of smart building automation systems," Radioelectronic and Computer Systems, Vol. 3, No. 77, pp. 30-40, 2016
5. ISO/IEC 15408-1:2009 Information Technology-Security Techniques-Evaluation Criteria for IT Security-Part 1: Introduction and General Model, European Committee for Electrotechnical Standardization, Brussels, 2009, 74 p
6. ISO/IEC 15408-2:2008 Information Technology-Security Techniques-EvaluationCriteria for IT Security-Part 2: Security Functional Components, European Committee for Electrotechnical Standardization, Brussels,2008, 218 p
7. U. Farooq, Z. Marrakchi, H. Mehrez, Treebased Heterogeneous FPGA Architectures:Application Specific Exploration and Optimization, Springer, New York, 2012, 188 p
8. L. Boyanov, Z. Minchev, "Cyber security challenges in smart homes," in Proceedings of NATO-ARW "Best Practices and Innovative Approaches to Develop Cybersecurity and Resiliency Policy Framework", Ohrid, Macedonia, June 10-12, 2013, pp. 99-114
9. Du Suguo, Zhu Haojin, Security Assessment via Attack Tree Model, in: Security Assessment in Vehicular Networks, Springer, New York, 2013, pp. 9-16
10. M. Grottke, H. Sun, R. M. Fricks, and K. S. Trivedi, "Ten fallacies of availability and reliability analysis," in Proceedings of the 5th International Conference on Service Availability (ISAS'08), T. Nanya, F. Maruyama, A. Pataricza, and M. Malek (Eds.), Springer-Verlag, Berlin, Heidelberg, 2008, pp. 187-206
11. T. Huffmire et al., "Managing security in FPGA-based embedded systems," IEEE Design & Test of Computers, Vol. 25, No. 6, pp. 590-598, Nov.-Dec. 2008
12. D. M. Nicol, W. H. Sanders, K. S. Trivedi, "Model-based evaluation: from dependability to security," IEEE Transactions on Dependable and Secure Computing, Vol. 1, No. 1, pp. 48-65, 2004
13. M. K. Binu, K. P. Zachariah, "New techniquesto enhance FPGA based system security," International Journal of Advanced Research in Computer Engineering & Technology, Vol. 1, Issue 5, pp. 91-94, 2012
14. X. Ban, T. Xin, "Scenario-based information security risk evaluation method," International Journal of Security and its Applications, Vol. 8,No. 5, pp.21-30, 2014
15. W. Granzer, W. Kastner, G. Neugschwandtner, F. Praus, "Security in networked buildingautomation systems," in Proceedings of the IEEE International Workshop on Factory Communication Systems, 2006, pp. 283-292
16. G. Osma, L. Amado, R. Villamizar, G. Ordoñez, "Building automation systems as tool to improve the resilience from energy behavior approach," Procedia Engineering, Vol. 118, pp. 861-868, 2015
17. S. V. Bhusari, Smart building integration, 2014, [Online]. Available: http://www.csemag. com/single-article/smart-building-integration/
18. E. L. Ler, Intelligent Building Automation System, [USQ Project], 2006, [Online]. Available: https://eprints.usq.edu.au/2507/
19. I. Kuon, R. Tessier. and J. Rose, "FPGA architecture: survey and challenges," Foundations and Trends in Electronic Design Automation, Vol. 2(2), pp. 135-253, 2008
20. V. S. Kharchenko, A.-S. M. Q. Abdulmunem, Y. L. Ponochovnyi, "Markov availability model of smart building automation system with separate and common reliability-security related maintenance," Systems of Control, Navigation and Communication, Vol. 4(36), pp. 88-94. 2015
21. ISO/IEC 61508-4:2010, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. Part 4: Definitions and Abbreviations, European Committee for Electrotechnical Standardization, Brussels, 2010, 42 p