From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures., и . Software Engineering, том P-310 из LNI, стр. 43-44. Gesellschaft für Informatik e.V., (2021)Heuristic Inference of Model Transformation Definitions from Type Mappings., и . MoDELS (Companion), стр. 182-188. IEEE, (2019)Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities., , и . ICMT, том 10374 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2017)How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?, и . FACS, том 15189 из Lecture Notes in Computer Science, стр. 127-145. Springer, (2024)An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security., , , и . CoRR, (2024)Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security., , , , и . ECSA, том 14889 из Lecture Notes in Computer Science, стр. 253-269. Springer, (2024)Model-driven information flow security engineering for cyber-physical systems.. University of Paderborn, Germany, (2020)Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering.. MoDELS (Doctoral Symposium), том 1735 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)Model Checking the Information Flow Security of Real-Time Systems., , и . ESSoS, том 10953 из Lecture Notes in Computer Science, стр. 27-43. Springer, (2018)Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems., и . ECSA, том 11048 из Lecture Notes in Computer Science, стр. 147-155. Springer, (2018)