MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned

Bernabeu, Gil; Jaffuel, Eddie; Legeard, Bruno; Peureux, Fabien

doi:10.1109/issrew.2014.91

Cited by 12 publications

(5 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…o Biometric sensor testing tools: BioAPI was used to test the accuracy and reliability of the biometric authentication mechanism [10]. o Smart card testing tools: GlobalPlatform Test Suite was used to test the functionality and operability of the smart card component of the proposed solution [11]. o The robot surgeon and the patient console are represented as two User Equipments (UEs) in the ns3 simulation tool.…”

Section: Enhanced Methodologymentioning

confidence: 99%

Enhancing Security for Robot-Assisted Surgery through Advanced Authentication Mechanisms Over 5G Networks

Bhat,

Kavasseri

2023

EJENG

View full text Add to dashboard Cite

The adoption of robotic surgical procedures over wireless 5G networks has increased rapidly in recent years, providing improved precision and patient outcomes. However, the security and reliability of the end-to-end information between the surgeon's control console and the robotic system are critical concerns. This paper proposes a solution to enhance the security and reliability of the authentication process in robot-assisted surgery by enhancing existing authentication mechanisms. The proposed solution builds upon the existing Transport Layer Security (TLS) protocol, and introduces additional security measures, including biometric authentication and multi-factor authentication while minimizing latency and delay in transmission. The effectiveness of the proposed solution is evaluated through simulation and testing, demonstrating its ability to provide enhanced security for robot-assisted surgery. The proposed solution has the potential to provide an additional layer of security while staying in realistic bounds of latency and delay in data transmission.

show abstract

Section: Enhanced Methodologymentioning

confidence: 99%

Enhancing Security for Robot-Assisted Surgery through Advanced Authentication Mechanisms Over 5G Networks

Bhat,

Kavasseri

2023

EJENG

View full text Add to dashboard Cite

show abstract

“…To automatize this process, a MBT approach is used to specify the tests and their behavior. MBT has shown its benefits and usefulness for systematic compliance testing of systems [57]. In this approach, the structure of the system is modelled by Unified Modelling Language (UML) class diagrams, while the system behavior is expressed in Object Constraint Language (OCL) 8 , using the CertifyIt tool.…”

Section: Security Testingmentioning

confidence: 99%

Risk-based automated assessment and testing for the cybersecurity certification and labelling of IoT devices

Matheu

Hernández-Ramos

Skarmeta

et al. 2019

Computer Standards & Interfaces

View full text Add to dashboard Cite

“…As an alternative to these approaches and related to the need for automated testing processes, MBT represents a promising technique to be considered in IoT scenarios, due to the possibility of generating tests from the SUT model in an automated way. This way, MBT can manage the security testing process in a cost-effective and efficient way [10], by abstracting the SUT with a model that is used to generate the different tests. The model could represent the SUT, the associated environment or the test itself.…”

Section: A Security Testing In Iotmentioning

confidence: 99%

“…In particular, such approach is based on [8], which is, in turn, based on the risk-based security assessment and testing methodologies proposed by the European Telecommunications Standards Institute (ETSI) [9]. Such approach represents an instantiation of this methodology based on the Model-Based Testing (MBT) technique [10], which provides a flexible testing process by defining a highlevel view of the System Under Test (SUT). In this way, new tests can be automatically generated from the same model.…”

Section: Introductionmentioning

confidence: 99%

Extending MUD Profiles Through an Automated IoT Security Testing Methodology

et al. 2019

View full text Add to dashboard Cite

Defining the intended behaviour of IoT devices is considered as a key aspect to detect and mitigate potential security attacks. In this direction, the Manufacturer Usage Description (MUD) has been recently standardised to reduce the attack surface of a certain device through the definition of access control policies. However, the semantic model is only intended to provide network level restrictions for the communication of such device. In order to increase the expressiveness of this approach, we propose the use of an automated IoT security testing methodology, so that testing results are used to generate augmented MUD profiles, in which additional security aspects are considered. For the enforcement of these profiles, we propose the use of different access control technologies addressing application layer security concerns. Furthermore, the methodology is based on the use of Model-Based Testing (MBT) techniques to automate the generation, design and implementation of security tests. Then, we describe the application of the resulting approach to the Elliptic Curve Diffie-Hellman over COSE (EDHOC) protocol, which represents a standardisation effort to build a lightweight authenticated key exchange protocol for IoT constrained scenarios.INDEX TERMS Internet of Things, security testing, MUD, EDHOC.

show abstract

MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned

Cited by 12 publications

References 3 publications

Enhancing Security for Robot-Assisted Surgery through Advanced Authentication Mechanisms Over 5G Networks

Enhancing Security for Robot-Assisted Surgery through Advanced Authentication Mechanisms Over 5G Networks

Risk-based automated assessment and testing for the cybersecurity certification and labelling of IoT devices

Extending MUD Profiles Through an Automated IoT Security Testing Methodology

Contact Info

Product

Resources

About