中文
相关论文

相关论文: Technical Upgrades to and Enhancements of a System…

200 篇论文

The development of a system vulnerability analysis tool (SVAT) for complex mission critical systems (CMCS) produced the software for operation and network attack results review (SONARR). This software builds upon the Blackboard Architecture…

密码学与安全 · 计算机科学 2024-09-18 Matthew Tassava , Cameron Kolodjski , Jordan Milbrath , Jeremy Straub

A system vulnerability analysis technique (SVAT) for complex mission critical systems (CMCS) was developed in response to the need to be able to conduct penetration testing on large industrial systems which cannot be taken offline or risk…

密码学与安全 · 计算机科学 2023-06-08 Matthew Tassava , Cameron Kolodjski , Jeremy Straub

Core logic and processing improvements were made to the software for operations and network attack results review (SONARR) and are presented, herein. Previous SONARR versions' Boolean-only logic, derived from the Blackboard Architecture,…

密码学与安全 · 计算机科学 2026-04-28 Matthew Tassava , Cameron Kolodjski , Jordan Milbrath , Jeremy Straub

The integration of open-source third-party library dependencies in Java development introduces significant security risks when these libraries contain known vulnerabilities. Existing Software Composition Analysis (SCA) tools struggle to…

软件工程 · 计算机科学 2025-07-25 Wang Lingxiang , Quanzhi Fu , Wenjia Song , Gelei Deng , Yi Liu , Dan Williams , Ying Zhang

We present a second iteration of a machine learning approach to static code analysis and fingerprinting for weaknesses related to security, software engineering, and others using the open-source MARF framework and the MARFCAT application…

密码学与安全 · 计算机科学 2013-05-13 Serguei A. Mokhov , Joey Paquet , Mourad Debbabi , Yankui Sun

Context: Static Application Security Testing Tools (SASTTs) identify software vulnerabilities to support the security and reliability of software applications. Interestingly, several studies have suggested that alternative solutions may be…

软件工程 · 计算机科学 2024-03-15 Matteo Esposito , Valentina Falaschi , Davide Falessi

Cooperative, Connected and Automated Mobility (CCAM) are complex cyber-physical systems (CPS) that integrate computation, communication, and control in safety-critical environments. At their core, System-on-Chip (SoC) platforms consolidate…

软件工程 · 计算机科学 2025-10-10 Srijita Basu , Haraldsson Bengt , Miroslaw Staron , Christian Berger , Jennifer Horkoff , Magnus Almgren

Most of the current software security analysis tools assess vulnerabilities in isolation. However, sophisticated software supply chain security threats often stem from cascaded vulnerability and security weakness chains that span dependent…

软件工程 · 计算机科学 2026-01-29 Laura Baird , Armin Moin

Microservice architectures (MSA) are becoming trending alternatives to existing software development paradigms notably for developing complex and distributed applications. Microservices emerged as an architectural design pattern aiming to…

密码学与安全 · 计算机科学 2024-04-24 Abdelhakim Hannousse , Salima Yahiouche

Today's routing protocols critically rely on the assumption that the underlying hardware is trusted. Given the increasing number of attacks on network devices, and recent reports on hardware backdoors this assumption has become…

网络与互联网体系结构 · 计算机科学 2017-05-02 Kashyap Thimmaraju , Liron Schiff , Stefan Schmid

Critical infrastructures integrate a wide range of smart technologies and become highly connected to the cyber world. This is especially true for Cyber-Physical Systems (CPSs), which integrate hardware and software components. Despite the…

密码学与安全 · 计算机科学 2025-04-04 Romain Dagnas , Michel Barbeau , Joaquin Garcia-Alfaro , Reda Yaich

The current cybersecurity landscape is increasingly complex, with traditional Static Application Security Testing (SAST) tools struggling to capture complex and emerging vulnerabilities due to their reliance on rule-based matching.…

密码学与安全 · 计算机科学 2024-11-25 Mete Keltek , Rong Hu , Mohammadreza Fani Sani , Ziyue Li

Real-Time systems are essential for promptly responding to external stimuli and completing tasks within predefined time constraints. Ensuring high reliability and robust security in these systems is therefore critical. This requires…

密码学与安全 · 计算机科学 2025-10-07 Eliron Rahimi , Kfir Girstein , Roman Malits , Avi Mendelson

While the Blackboard Architecture has been in use since the 1980s, it has recently been proposed for modeling computer networks to assess their security. To do this, it must account for complex network attack patterns involving multiple…

密码学与安全 · 计算机科学 2023-06-21 Ben Clark , Matthew Tassava , Cameron Kolodjski , Jeremy Straub

Background: Static Application Security Testing (SAST) tools purport to assist developers in detecting security issues in source code. These tools typically use rule-based approaches to scan source code for security vulnerabilities.…

软件工程 · 计算机科学 2021-07-19 Roland Croft , Dominic Newlands , Ziyu Chen , M. Ali Babar

Static Application Security Testing (SAST) is a popular quality assurance technique in software engineering. However, integrating SAST tools into industry-level product development and security assessment poses various technical and…

软件工程 · 计算机科学 2021-03-25 Anh Nguyen-Duc , Manh Viet Do , Quan Luong Hong , Kiem Nguyen Khac

Due to the increasing sophistication of web attacks, Web Application Firewalls (WAFs) have to be tested and updated regularly to resist the relentless flow of web attacks. In practice, using a brute-force attack to discover vulnerabilities…

密码学与安全 · 计算机科学 2023-12-14 Mohammadhossein Amouei , Mohsen Rezvani , Mansoor Fateh

Techniques for verifying or invalidating the security of computer systems have come a long way in recent years. Extremely sophisticated tools are available to specify and formally verify the behavior of a system and, at the same time,…

密码学与安全 · 计算机科学 2024-04-16 Matteo Busi , Riccardo Focardi , Flaminia Luccio

Early identification of security issues in software development is vital to minimize their unanticipated impacts. Code review is a widely used manual analysis method that aims to uncover security issues along with other coding issues in…

软件工程 · 计算机科学 2024-07-18 Wachiraphan Charoenwet , Patanamon Thongtanunam , Van-Thuan Pham , Christoph Treude

Software Bill of Materials (SBOM) provides new opportunities for automated vulnerability identification in software products. While the industry is adopting SBOM-based Vulnerability Scanning (SVS) to identify vulnerabilities, we…

软件工程 · 计算机科学 2025-12-22 Martin Rosso , Muhammad Asad Jahangir Jaffar , Alessandro Brighente , Mauro Conti
‹ 上一页 1 2 3 10 下一页 ›