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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Design, Automation and Test in Europe s. 178 - 183
Hlavní autoři: Arora, Divya, Ravi, Srivaths, Raghunathan, Anand, Jha, Niraj K.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Washington, DC, USA IEEE Computer Society 07.03.2005
IEEE
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.