Titlebook: Availability, Reliability, and Security in Information Systems; IFIP WG 8.4, 8.9, TC Stephanie Teufel,Tjoa A Min,Edgar Weippl Conference pr

Exterior

刀锋

在前面

Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devicesl and acceptable resource consumption, is determined by a low structuring and formalization of security knowledge. The paper proposes an approach to elicit security knowledge for subsequent use in automated design and verification tools for secure systems with embedded devices.

maladorit