Numeric Truncation Security Predicate

被引：0

作者：

Mezhuev, Timofey ^{[1
,2
]}

Kobrin, Ilay ^{[1
,2
]}

Vishnyakov, Alexey ^{[3
]}

Kuts, Daniil ^{[1
]}

机构：

[1] Ivannikov Institute for System Programming of the Ras, Moscow, Russia

[2] Lomonosov Moscow State University, Moscow, Russia

[3] Yandex Cloud, Moscow, Russia

来源：

Proceedings - Ivannikov ISPRAS Open Conference | 2023年

关键词：

D O I：

2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023

中图分类号：

学科分类号：

摘要：

C++ (programming language) - Model checking - Open source software

引用

页码：84 / 92

共 50 条

[31] Building successful software security initiatives
Ewers J.
Computer Fraud and Security, 2022, 2022 (02)
[32] VANET security research and development ecosystem
Computer and Information Sciences Department, Universiti Teknologi PETRONAS, Bandar Seri Iskandar, 31750, Tronoh, Perak, Malaysia
不详
Natl. Postgrad. Conf. - Energy Sustainability: Explor. Innov. Minds, NPC, 2011,
[33] Operational Security of Local Networks.
Powell, David
1600,
[34] Features and security aspects of FASS subsystem
University of Novi Sad, Technical Faculty Mihajlo Pupin, Zrenjanin, Serbia
不详
SISY - Int. Symp. Intelligent Syst. Informatics, Proc., (191-194):
[35] Information security protection in hybrid office
Ma, Jun
Alias, Syazwina
Huang, Chunya
ACM International Conference Proceeding Series, : 21 - 25
[36] The Precarious Balance Between Research Openness and Security
Colglazier, E. William
ISSUES IN SCIENCE AND TECHNOLOGY, 2023, 39 (03) : 87 - 91
[37] Ensuring Food Security Through Meal Optimization
Elinder, Liselotte Schafer
Colombo, Patricia Eustachio
IEEE TECHNOLOGY AND SOCIETY MAGAZINE, 2023, 42 (02) : 38 - 41
[38] Composing security protocols: From confidentiality to privacy
School of Informatics, University of Edinburgh, United Kingdom
不详
不详
不详
Lect. Notes Comput. Sci., (324-343): : 324 - 343
[39] LIFE VESTS. SAFETY OR FALSE SECURITY
SCARDINO JR AJ
1600, 4 (15-19):
[40] MOBILITY FUELS AND THE ENERGY SECURITY ACT OF 1980
BUCKNELL, H
ENERGY COMMUNICATIONS, 1980, 6 (06): : 407 - 459