Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices.

Vasily Desnitsky Igor V. Kotenko

Published in: CD-ARES (2014)

Keyphrases

embedded devices
embedded systems
management system
data model
access control
security issues
consumer electronics