Zobrazeno 1 - 10
of 10
pro vyhledávání: '"formal security verification"'
Publikováno v:
Applied Sciences, Vol 14, Iss 23, p 11152 (2024)
The 5th Generation Mobile Communication (5G) plays a significant role in the Fourth Industrial Revolution (4IR), facilitating significant improvements and innovations in various fields. The 3rd Generation Partnership Project (3GPP) is currently stand
Externí odkaz:
https://doaj.org/article/576899fc3ced457a9bd44b64f75be7dc
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Sensors, Vol 21, Iss 24, p 8383 (2021)
The need for continuous monitoring of physiological information of critical organs of the human body, combined with the ever-growing field of electronics and sensor technologies and the vast opportunities brought by 5G connectivity, have made implant
Externí odkaz:
https://doaj.org/article/66a4ae1a335b401ba5367004ed4bea31
Autor:
Oham, Finbars Chuka
Fully Autonomous Vehicles (FAVs) have attracted significant research attention due to their potential benefits to the road transport system. These vehicles are fitted with multiple communication and automated technologies to facilitate independent de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ee1323ef5cf853457fb59d5dfa40091
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This work presents a design-time security verification framework for secure processor architectures. Our new SecChisel framework is built upon the Chisel hardware construction language and tools, and uses information flow analysis to verify the secur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10007::f748a1bcd07c379b024615748595cddf
https://hdl.handle.net/20.500.11831/7300
https://hdl.handle.net/20.500.11831/7300
Distributed m-healthcare system computing framework fundamentally encourages effective patient treatment for restorative sharing so as to meet individual health data among human services suppliers. On the other hand, it realizes the test of keeping b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98849cde5c3ac53e084973d4c9405c11
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.