Secure and customizable software applications in embedded networks

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2008, Pages 1473-1480

  Praus, Fritz ^a   Flanitzer, Thomas ^a   Kastner, Wolfgang ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; BUILDING AUTOMATION SYSTEMS; BUILDING AUTOMATIONS; CUSTOMIZABLE; EMBEDDED NETWORKS; IMPROVED TECHNOLOGIES; INDUSTRIAL AUTOMATIONS; MALICIOUS SOFTWARES; PHYSICAL SECURITIES; PROOF OF CONCEPTS; SECURE COMMUNICATIONS; SECURE SOFTWARES; SECURITY ARCHITECTURES; SOFTWARE APPLICATIONS;

AUTOMATION; COMPUTER CRIME; FACTORY AUTOMATION; INTEGRATED CIRCUITS; INTELLIGENT BUILDINGS; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 56349143732     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2008.4638590     Document Type: Conference Paper

References (20)

1. AMD website. www.amd.com.
2. US-CERT Vulnerability Notes Database. http://www.kb.cert.org/vuls.
3. D. Arora, S. Ravi, A. Raghunathan, and N. K. Jha. Hardware-assisted run-time monitoring for secure program execution on embedded processors. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 14(12): 1295-1308, 2006.
4. BACnet - a data communication protocol for building automation and control networks. ANSI/ASHRAE 135, 2004.
5. Y. Chen, R. Venkatesan, M. Cary, R. Pang, S. Sinha, and M. H. Jakubowski. Oblivious hashing: A stealthy software integrity verification primitive. In IH'02: Revised Papers from the 5th International Workshop on Information Hiding, pages 400-414, London, UK, 2003. Springer-Verlag.
6. B. Chess and G. McGraw. Static analysis for security. IEEE Security and Privacy, 2(6):76-79, 2004.
7. C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton. Stack-Guard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proc. 7th USENIX Security Conference, pages 63-78, San Antonio, Texas, jan 1998.
8. D. Dzung, M. Naedele, T. Von Hoff, and M. Crevatin. Security for industrial communication systems. Proceedings of the IEEE, 93(6): 1152-1177, 2005.
9. W. Granzer, W. Kastner, G. Neugschwandtner, and F. Praus. Security in Networked Building Automation Systems. In Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS'06), pages 283-292, June 2006.
10. L. Gu and J. A. Stankovic. t-kernel: providing reliable os support to wireless sensor networks. In SenSys'06: Proceedings of the 4th international conference on Embedded networked sensor systems, pages 1-14, New York, NY, USA, 2006. ACM.
11. I. Hiroaki, M. Edahiro, and J. Sakai. Towards scalable and secure execution platform for embedded systems. In ASP-DAC'07: Proceedings of the 2007 conference on Asia South Pacific design automation, pages 350-354, Washington, DC, USA, 2007. IEEE Computer Society.
12. V. Kiriansky, D. Bruening, and S. Amarasinghe. Secure execution via program shepherding. In Proceedings of the 11th USENIX Security Symposium, August 2002.
13. KNX specification. Konnex Association, 2004.
14. W. Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4):323-337, December 1992.
15. Z. Li, A. Das, and J. Zhou. Theoretical basis for intrusion detection. In Proceedings of 6th IEEE Information Assurance Workshop (IAW), West Point, NY, USA, June 2005. IEEE SMC Society.
16. Control network protocol specification. ANSI/EIA/CEA 709.1, 1999.
17. G. C. Necula and P. Lee. Safe, untrusted agents using proof-carrying code. In Mobile Agents and Security, pages 61-91, London, UK, 1998. Springer-Verlag.
18. S. Ravi, A. Raghunathan, P. Kocher, and S. Hattangady. Security in embedded systems: Design challenges. Trans. on Embedded Computing Sys., 3(3):461-491, 2004.
19. R. Riley, X. Jiang, and D. Xu. An architectural approach to preventing code injection attacks. In DSN'07: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pages 30-40, Washington, DC, USA, 2007. IEEE Computer Society.
20. A. S. Tanenbaum and M. van Steen. Distributed Systems: Principles and Paradigms. Prentice Hall, 2002.