10 years since Stuxnet: What have we learned from this mysterious computer software worm?

Bakic, Bojana; Milić, Miloš; Antović, Ilija; Savić, Dušan; Stojanović, Tatjana

doi:10.1109/it51528.2021.9390103

Cited by 7 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Предлагаемый подход может быть использован для разработки атакующей среды, ориентированной на безопасность, в которой организации могут выявлять расширенные механизмы атак и проверять их способность обнаруживать атаки. Еще одна работа, на которую следует обратить внимание (Bakić et al, 2021) Недостатком систем является требование больших вычислительных мощностей готовых правил без обоснования необходимости для конкретной цели. Учитывая необходимость обеспечения скрытой и своевременной передачи данных в современных экспертных системах, можно предположить, что использование технологии самомодификации файлов, а именно программы скрытой перекодировки, важно для разработки технологий в области искусственного интеллекта (Shterenberg et al, 2016).…”

Section: About Monitoring Threats and Vulnerabilities Of The Informat...unclassified

About Monitoring Threats and Vulnerabilities of the Information System

Mambetov¹,

Begimbayeva²,

Joldasbayev³

et al. 2022

SPM

View full text Add to dashboard Cite

БАС РЕДАКТОР: МҰТАНОВ Ғалымқайыр Мұтанұлы, техника ғылымдарының докторы, профессор, ҚР ҰҒА академигі, ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институтының бас директорының м.а. (Алматы, Қазақстан), H=5 РЕДАКЦИЯ АЛҚАСЫ: ҚАЛИМОЛДАЕВ Мақсат Нұрәділұлы (бас редактордың орынбасары), физика-математика ғылымдарының докторы, профессор, ҚР ҰҒА академигі, ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институты бас директорының кеңесшісі, зертхана меңгерушісі (Алматы, Қазақстан), H=7 МАМЫРБАЕВ Өркен Жұмажанұлы (ғалым хатшы), Ақпараттық жүйелер саласындағы техника ғылымдарының (PhD) докторы, ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институты директорының ғылым жөніндегі орынбасары (Алматы, Қазақстан), H=5 БАЙГУНЧЕКОВ Жұмаділ Жаңабайұлы, техника ғылымдарының докторы, профессор, ҚР ҰҒА академигі, Кибернетика және ақпараттық технологиялар институты, қолданбалы механика және инженерлік графика кафедрасы, Сәтбаев университеті (Алматы, Қазақстан), H=3 ВОЙЧИК Вальдемар, техника ғылымдарының докторы (физ-мат), Люблин технологиялық университетінің профессоры (Люблин, Польша), H=23 СМОЛАРЖ Анджей, Люблин политехникалық университетінің электроника факультетінің доценті (Люблин, Польша), H=17 ӘМІРҒАЛИЕВ Еділхан Несіпханұлы, техника ғылымдарының докторы, профессор, ҚР ҰҒА академигі, Жасанды интеллект және робототехника зертханасының меңгерушісі (Алматы, Қазақстан), H=12 ҚИЛАН Әлімхан, техника ғылымдарының докторы, профессор (ғылым докторы (Жапония), ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институтының бас ғылыми қызметкері (Алматы, Қазақстан), H=6 ХАЙРОВА Нина, техника ғылымдарының докторы, профессор, ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институтының бас ғылыми қызметкері (Алматы, Қазақстан), H=4 ОТМАН Мохаммед, PhD, Информатика, коммуникациялық технологиялар және желілер кафедрасының профессоры, Путра университеті (Селангор, Малайзия), H=23 НЫСАНБАЕВА Сауле Еркебұланқызы, техника ғылымдарының докторы, доцент, ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институтының аға ғылыми қызметкері (Алматы, Қазақстан), H=3 БИЯШЕВ Рустам Гакашевич, техника ғылымдарының докторы, профессор, Информатика және басқару мәселелері институты директорының орынбасары, Ақпараттық қауіпсіздік зертханасының меңгерушісі (Қазақстан), H=3 КАПАЛОВА Нұрсұлу Алдажарқызы, техника ғылымдарының кандидаты, ҚР БҒМ ҚҰО ақпараттық және есептеу технологиялар институтының киберқауіпсіздік зертханасының меңгерушісі (Алматы, Қазақстан), H=3 КОВАЛЕВ Александр Михайлович, физика-математика ғылымдарының докторы, Украина Ұлттық Ғылым академиясының академигі, Қолданбалы математика және механика институты (Донецк, Украина), H=5 МИХАЛЕВИЧ Александр Александрович, техника ғылымдарының докторы, профессор, Беларусь Ұлттық Ғылым академиясының академигі (Минск, Беларусь), H=2 ТИГИНЯНУ Ион Михайлович, физика-математика ғылымдарының докторы, академик, Молдова Ғылым академиясының президенті, Молдова техникалық университеті (Кишинев, Молдова), H=42

show abstract

Section: About Monitoring Threats and Vulnerabilities Of The Informat...unclassified

About Monitoring Threats and Vulnerabilities of the Information System

Mambetov¹,

Begimbayeva²,

Joldasbayev³

et al. 2022

SPM

View full text Add to dashboard Cite

show abstract

“…The virus was discovered within the Iranian atomic energy establishment, including the Bushehr nuclear power plant and the Natanz uranium enrichment establishments. 1,2,[4][5][6] The virus quickly became an important topic of discussion within the computing community. At the annual meeting of the IEEE Computer Society publications board in June 2010, the Society's editors in chief spent much of their lunch break discussing the virus.…”

Section: Body Of Knowledgementioning

confidence: 99%

“…The most recent was a 10-year retrospective about the virus and how it changed cybersecurity. 1 However, that first article did most of the work that we expect an IEEE Computer Society article to do. It identified a new form of technology, probed most of the technical issues surrounding the Stuxnet virus, and laid a foundation for future work.…”

mentioning

confidence: 99%

Do We Go Viral?

Grier¹

2021

Computer

View full text Add to dashboard Cite

“…Another example is the Stuxnet worm, which targeted industrial control systems and caused physical damage to nuclear centrifuges in Iran. The attack is estimated to have set back Iran's nuclear program by two years and caused over USD 1 billion in damages [14].…”

Section: Introductionmentioning

confidence: 99%

A Survey on Formal Verification and Validation Techniques for Internet of Things

Krichen

2023

Applied Sciences

View full text Add to dashboard Cite

The Internet of Things (IoT) has brought about a new era of connected devices and systems, with applications ranging from healthcare to transportation. However, the reliability and security of these systems are critical concerns that must be addressed to ensure their safe and effective operation. This paper presents a survey of formal verification and validation (FV&V) techniques for IoT systems, with a focus on the challenges and open issues in this field. We provide an overview of formal methods and testing techniques for the IoT and discuss the state explosion problem and techniques to address it. We also examined the use of AI in software testing and describe examples of tools that use AI in this context. Finally, we discuss the challenges and open issues in FV&V for the IoT and present possible future directions for research. This survey paper aimed to provide a comprehensive understanding of the current state of FV&V techniques for IoT systems and to highlight areas for further research and development.

show abstract

10 years since Stuxnet: What have we learned from this mysterious computer software worm?

Cited by 7 publications

References 5 publications

About Monitoring Threats and Vulnerabilities of the Information System

About Monitoring Threats and Vulnerabilities of the Information System

Do We Go Viral?

A Survey on Formal Verification and Validation Techniques for Internet of Things

Contact Info

Product

Resources

About