Zobrazeno 1 - 10
of 21 588
pro vyhledávání: '"formal verification"'
Publikováno v:
网络与信息安全学报, Vol 10, Iss 4, Pp 37-48 (2024)
Satellite internet of things (satellite IoT) has been utilized to achieve the integration of space-ground, human-thing connection, and information interaction through the satellite communication network and various types of spaceborne and ground term
Externí odkaz:
https://doaj.org/article/e0635300c393412980be05d87417ae09
Publikováno v:
PeerJ Computer Science, Vol 10, p e2377 (2024)
Electronic examination serves as an efficient method for assessing learning outcomes, yet the integration of computers into exam processes introduces potential for unreliability. In this article, we propose a formal model for electronic examinations
Externí odkaz:
https://doaj.org/article/712619d8d9694fb78e5b81ac4d9512c5
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, however, the design and implementation of which are intricate, error-prone, and lab
Externí odkaz:
https://doaj.org/article/359a33f72d8f4c53a3c77f7e0456a75c
Publikováno v:
Digital Communications and Networks, Vol 10, Iss 2, Pp 304-314 (2024)
In traditional digital twin communication system testing, we can apply test cases as completely as possible in order to ensure the correctness of the system implementation, and even then, there is no guarantee that the digital twin communication syst
Externí odkaz:
https://doaj.org/article/025e81e92d114bcaa3a4d9150a2b276d
Autor:
Jang, Jae-Won
In today's digital age, computer systems are prime targets for adversaries due to the vast amounts of sensitive information stored digitally. This ongoing cat-and-mouse game between programmers and adversaries forces security researchers to continual
Externí odkaz:
https://hdl.handle.net/10919/120718
Publikováno v:
CLEI Electronic Journal, Vol 27, Iss 3 (2024)
A cryptocurrency is a digital currency that enables online transactions for various products and services. Cryptocurrencies are deployed over public blockchains which have the transactions duplicated and dispersed across multiple nodes within a compu
Externí odkaz:
https://doaj.org/article/31e95cedbb384b43be71f70d93148e16
Autor:
Lopes, Tomás, Guerreiro, Sérgio
Publikováno v:
Business Process Management Journal, 2023, Vol. 29, Issue 8, pp. 133-162.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/BPMJ-11-2022-0557
Autor:
Yuriy Manzhos, Yevheniia Sokolova
Publikováno v:
Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 1, Pp 127-142 (2024)
The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs. Incorrect usage often leads to critical errors that conventiona
Externí odkaz:
https://doaj.org/article/c709c8a7187e4cd6ab459cfff98ddb79
Publikováno v:
IEEE Access, Vol 12, Pp 124260-124281 (2024)
Modeling and verification are crucial in designing traffic light control systems, guaranteeing these systems meet desired operational properties and handle dynamic traffic conditions effectively. The design process involves addressing complexities su
Externí odkaz:
https://doaj.org/article/2126f3b27b784344b23b2633f3143c46
Publikováno v:
IEEE Access, Vol 12, Pp 119341-119349 (2024)
Bounded Model Checking (BMC) is one of the most prominent approaches used as a falsification engine, capable of identifying counterexamples of bounded length, in a scalable and sustainable way. Nevertheless, in the context of a portfolio-based verifi
Externí odkaz:
https://doaj.org/article/d9d4a4c92ca04fbfaa5b0ee6a20cb684