Zobrazeno 1 - 10
of 1 248
pro vyhledávání: '"formal analysis"'
Autor:
Hanping Feng, Safrizal Shahir
Publikováno v:
Harmonia: Journal of Arts Research and Education, Vol 24, Iss 1, Pp 149-157 (2024)
“Space,” as a fundamental conceptual term, has been frequently and widely applied within various disciplines, such as sociology, architecture, philosophy, math, art, and so forth. In pictorial art, the term “space” is often used as a lens to
Externí odkaz:
https://doaj.org/article/3bb7b7c9a8774f5ba54a26174b3ce338
Publikováno v:
Tongxin xuebao, Vol 45, Pp 101-116 (2024)
To address the shortcomings of existing authentication schemes in vehicle networks, which commonly suffer from key escrow issues, as well as the lack of consideration for lightweight deployment and secure rapid authentication of compute-constrained e
Externí odkaz:
https://doaj.org/article/f6d05fbeb9cc464eb12ca6d7fa815969
Publikováno v:
Tongxin xuebao, Vol 45, Pp 227-243 (2024)
To solve security issues arising from multiple attackable vulnerabilities and key leakage in BACnet/IP authentication, a security-enhanced BACnet/IP-SA protocol authentication scheme was proposed.By analyzing the authentication message flow model of
Externí odkaz:
https://doaj.org/article/fdaa466bf55d48efa83b5f8d2f2b22c0
Publikováno v:
Frontiers in Sustainable Food Systems, Vol 8 (2024)
Corn (Zea mays L.) silage is an important feed ingredient in dairy cow diets in New York (NY). Improving corn nitrogen (N) management will help increase farm profitability while reducing environmental impacts from N losses. The objectives of this stu
Externí odkaz:
https://doaj.org/article/f6b7e4d7f23f4608944363c3d5dcc04c
Autor:
MA Baolin, ZHU Xuyu, DU Bin
Publikováno v:
Zhihui kongzhi yu fangzhen, Vol 46, Iss 1, Pp 110-117 (2024)
In order to assess military requirement scientifically and effectively, through steps division of stages, determination of assessment object and construction of assessment indicators are systematically described the military requirement assessment pr
Externí odkaz:
https://doaj.org/article/f6554d1e3d264abf92ac7cf4660bfe4e
Autor:
Бузунова, И.В.
Publikováno v:
Искусство Евразии, Iss 4 (31), Pp 14-29 (2023)
Важнейшей задачей антиковедения является уточнение или определение стилистической, иконографической, хронологической атрибуции анти
Externí odkaz:
https://doaj.org/article/ead4e4e9fa2f45c1b0e7d9514e450026
Publikováno v:
Journal of King Saud University: Computer and Information Sciences, Vol 35, Iss 8, Pp 101664- (2023)
Non-repudiation protocols are aimed at exchanging digital messages and irrefutable receipts between two mistrusting parties over the Internet, which form the cornerstones of modern secure network transactions. Timeliness is a key security property of
Externí odkaz:
https://doaj.org/article/0ea07109c0d44ea183eaf4cb6a6e2653
Publikováno v:
IEEE Access, Vol 11, Pp 139935-139951 (2023)
Security is a major concern when building large-scale computer systems. Cloud services have made it easier to provision large-scale systems on demand over the Internet. While the cloud service providers provide the required building blocks such as co
Externí odkaz:
https://doaj.org/article/3036b05229d5433fa1aacc505a3071ad
Publikováno v:
Information, Vol 15, Iss 2, p 118 (2024)
This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and a
Externí odkaz:
https://doaj.org/article/df13a5281f7b4d5aaa94d847072d2c2b