Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Trusted Safety Verifier (TSV)

Artificial Intelligence Paradigms for Smart Cyber-Physical Systems
The term defines how to enable demonstrative test cases to system operators. It’s a minimal TCB for the verification of safety-critical code executed on programmable controllers.
Published in Chapter:
Smart IDS and IPS for Cyber-Physical Systems
Sara A. Mahboub (Sudan University of Science and Technology, Sudan), Elmustafa Sayed Ali Ahmed (Red Sea University, Sudan), and Rashid A. Saeed (Taif University, Saudi Arabia)
Copyright: © 2021 |Pages: 28
DOI: 10.4018/978-1-7998-5101-1.ch006
Abstract
One of the most important requirements is security and accessibility efforts which are represented as a critical issue that should be considered in many applications for the purpose of system confidentiality and safety. To ensure the security of current and emerging CPSs by taking into consideration the unique challenges present in this environment, development of current security mechanisms should be further studied and deployed in a manner that make it becomes more compatible with CPS environment, introduce a safer environment and maintain the quality of service at the same time. Systems known as intrusion detection systems (IDS) and intrusion prevention systems (IPS) are the most common security mechanisms used in networking and communication applications. These systems are based on artificial intelligence (AI) where computer-based algorithms are used to analyze, diagnose, and recognize that threats pattern according to an expected suspicious pattern.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR