Software security assurance

An Experimental Security Analysis of an Industrial Robot Controller

Davide Quarta, Marcello Pogliani, Mario Polino, Federico Maggi, Andrea Maria Zanchettin, Stefano Zanero

引用数: 169 • 2017

An Automated Test Generation Technique for Software Quality Assurance

Dianxiang Xu, Weifeng Xu, Mike Kent, Lijo Thomas, Linzhang Wang

引用数: 54 • 2014

A Robot Operating System Framework for Secure UAV Communications

Hyo-Jun Lee, Jiyoung Yoon, Min-Seong Jang, Kyung‐Joon Park

引用数: 36 • 2021

Quantitative analysis of security in distributed robotic frameworks

Francisco Martí­n, Enrique Soriano, José María Plaza

引用数: 33 • 2017

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots

Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Călinescu, James Law, John A. Clark

引用数: 30 • 2021

Security‐ and safety‐critical cyber‐physical systems

Atif Mashkoor, Johannes Sametinger, Miklós Bíró, Alexander Egyed

引用数: 16 • 2019

The Prevent-Model: Human and Organizational Factors Fostering Engineering of Safe and Secure Robotic Systems

Christina Glasauer

引用数: 15 • 2022

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control

Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark Campbell

引用数: 15 • 2018

Formal Analysis and Detection for ROS2 Communication Security Vulnerability

Shuo Yang, Jian Guo, Xue Rui

引用数: 12 • 2024

Design of Secure Microcontroller-Based Systems: Application to Mobile Robots for Perimeter Monitoring

Dmitry Levshun, Andrey Chechulin, Igor Kotenko

引用数: 12 • 2021

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

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

引用数: 11 • 2010

Security Assessment for Zenbo Robot Using Drozer and mobSF Frameworks

Benjamin Yankson, Javed Vali K, Patrick C. K. Hung, Farkhund Iqbal, Liaqat Ali

引用数: 11 • 2021

A SURVEY OF SECURITY IN ROBOTIC SYSTEMS: VULNERABILITIES, ATTACKS, AND SOLUTIONS

Christopher Archibald, Luke Schwalm, John E. Ball

引用数: 10 • 2017

Design and Implementation of Security Patrol Robot Using Android Application

Tahzib Mashrik, Hasib Zunair, Maofic Farhan Karin

引用数: 10 • 2017

Automated Model-Based Assurance Case Management Using Constrained Natural Language

Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang

引用数: 8 • 2023

Exploring Security Issues in Telehealth Systems

Gastón Márquez, Hernán Astudillo, Carla Taramasco

引用数: 7 • 2019

System and software architecture for autonomous surveillance robots in urban environments

Yungeun Choe, Myung Jin Chung

引用数: 6 • 2012

Developing a module-based security system for an intelligent home

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

引用数: 6 • 2009

Overview of the intelligent security robot - Chung Cheng I

R.C. Luo, Kuo-Lan Su, Kai-Che Lin

引用数: 6 • 2006

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

引用数: 5 • 2023