Vasily Desnitsky, Igor V. Kotenko. Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices. In Stephanie Teufel, A Min Tjoa, Ilsun You, Edgar Weippl, editors, Availability, Reliability, and Security in Information Systems - IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2014 and 4th International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2014, Fribourg, Switzerland, September 8-12, 2014. Proceedings. Volume 8708 of Lecture Notes in Computer Science, pages 194-210, Springer, 2014. [doi]
Abstract is missing.