Ooi Sian En, Razvan Beuran, Yasuo Tan, Takayuki Kuroda, Takuya Kuwahara, Norihito Fujita. SecureWeaver: Intent-Driven Secure System Designer. In Maanak Gupta, Sajad Khorsandroo, Mahmoud Abdelsalam, editors, Sat-CPS@CODASPY 2022: Proceedings of the 2022 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, Baltimore, MD, USA, 27 April 2022. pages 107-116, ACM, 2022. [doi]
Abstract is missing.