Computer security model

Formal Analysis and Detection for ROS2 Communication Security Vulnerability

Shuo Yang, Jian Guo, Xue Rui

Citations: 12 • 2024

Feature-Driven Mediator Synthesis

Amel Bennaceur, Thein Than Tun, Arosha K. Bandara, Yijun Yu, Bashar Nuseibeh

Citations: 12 • 2018

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques

Zhensheng Guo, Dirk Zeckzer, Peter Liggesmeyer, Oliver Mäckel

Citations: 11 • 2010

Developing a module-based security system for an intelligent home

Kuo-Lan Su, Song-Hiang Chia, Sheng-Ven Shiau, Jr-Hung Guo

Citations: 6 • 2009

Security-Minded Verification of Cooperative Awareness Messages

Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple

Citations: 5 • 2023

Police office model for multi-agent robotic systems

Ilya I. Viksnin, Sergey Chuprov, Maria Usova, D A Zakoldaev

Citations: 3 • 2019