A lightweight kernel objects monitoring infrastructure for embedded systems

Proceedings - 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008

Volumn , Issue , 2008, Pages 55-60

  Sun, Lei ^a   Nakajima, Tatsuo ^a  

^a WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; DATA STRUCTURES; ELECTRIC BREAKDOWN; FILE ORGANIZATION; INTEGRATED CIRCUITS; INTRUSION DETECTION; LAWS AND LEGISLATION; LEGACY SYSTEMS; REAL TIME SYSTEMS;

AND RECOVERY; CLASS OBJECTS; COMMERCIAL-OFF-THE-SHELF; INTERNATIONAL CONFERENCES; LEGACY APPLICATIONS; PROTECTION METHODS; PROTOTYPE SYSTEMS; REAL-TIME COMPUTING SYSTEMS; RECOVERY ACTIONS; RUN-TIME; SECURITY ATTACKS; SOFTWARE-BASED; SOURCE CODING; SPECIFIC HARDWARE; SYSTEM CALLS; SYSTEM LEVELS; SYSTEM PERFORMANCES;

EMBEDDED SYSTEMS;

EID: 53549132551     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2008.16     Document Type: Conference Paper

References (14)

1. Iguana. http://www.ertos.nicta.com.au/software/kenge/iguanaproject/ latest/.
2. L4ka::pistachio microkernel. http://l4ka.org/projects/pistachio/.
3. Prctl exploit works on kernel 2.6. http://bugs.debian.org/cgi-bin/ bugreport.cgi?bug=458251.
4. B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In Proc. of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 78-95, Oct 2003.
5. E. M. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Computer Surveys, 34(3):375-408, Sep 2002.
6. T. Garfinkel and M. Rosenblum. A virtual machine introspection based architecture for intrusion detection. In Proc. Network and Distributed Systems Security Symposium (NDSS), pages 191-206, Feb 2003.
7. D. Golub, R. Dean, A. Forin, and R. Rashid. Unix as an application program. In USENIX Summer, pages 87-95, Jun 1990.
8. R. K. Iyer, Z. Kalbarczyk, K. Pattabiraman, W. Healey, W.-M. W. Hwu, P. Klemperer, and R. Farivar. Toward application-aware security and reliability. IEEE Security and Privacy, 5(1):57-62, Jan 2007.
9. R. A. Kemmerer and G. Vigna. Intrusion detection: A brief history and overview. IEEE Computer, 35(4):27-30, Apr 2002.
10. J. Liedtke. On μ-kernel construction. In Proc. of the 15th ACM Symposium on Operating System Principles (SOSP), pages 237-250, Dec 1995.
11. J. Nick L. Petroni, T. Fraser, J. Molina, and W. A. Arbaugh. Copilot - a coprocessor-based kernel runtime integrity monitor. In Proc. of the 13th conference on USENIX Security Symposium, pages 179-194, Aug 2004.
12. J. Nick L. Petroni, T. Fraser, A. Walters, and W. A. Arbaugh. An architecture for specification-based detection of semantic integrity violations in kernel dynamic data. In Proc. of the 15th conference on USENIX Security Symposium, pages 289-304, Aug 2006.
13. M. Rajagopalan, M. Hiltunen, T. Jim, and R. Schlichting. Authenticated system calls. In Proc. of the 2005 international Conference on Dependable Systems and Networks (DSN), pages 358-367, Jun 2005.
14. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser. Overview of the CHORUS distributed operating system. In Workshop on Micro-Kernels and Other Kernel Architectures, pages 39-70, Apr 1992.