Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring

Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in "trusted" software that they execute. Security attacks exploit these vulnerabilities to trigger unintended program behavior, such as the l...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Design, Automation and Test in Europe S. 178 - 183
Hauptverfasser:	Arora, Divya, Ravi, Srivaths, Raghunathan, Anand, Jha, Niraj K.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 07.03.2005 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Communication system security Computer architecture Computer systems organization > Embedded and cyber-physical systems Computer systems organization > Real-time systems Data security Embedded software Embedded system General and reference > Cross-computing tools and techniques > Verification Hardware Hardware > Hardware validation Information security Mathematics of computing > Discrete mathematics > Graph theory > Graph algorithms Monitoring National electric code Runtime Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Theory of computation > Semantics and reasoning > Program reasoning > Program analysis Theory of computation > Semantics and reasoning > Program reasoning > Program verification Theory of computation > Semantics and reasoning > Program semantics
ISBN:	9780769522883, 0769522882
ISSN:	1530-1591
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!