中文
相关论文

相关论文: Understanding, Implementing, and Supporting Securi…

200 篇论文

Multi-objective safety-critical control entails a diligent design to avoid possibly conflicting scenarios and ensure safety. This paper addresses multi-objective safety-critical control through a novel approach utilizing barrier states…

系统与控制 · 电气工程与系统科学 2025-07-08 Hassan Almubarak , Nader Sadegh , Evangelos A. Theodorou

Research on automated vehicles has experienced an explosive growth over the past decade. A main obstacle to their practical realization, however, is a convincing safety concept. This question becomes ever more important as more…

系统与控制 · 计算机科学 2018-04-13 Georg Schildbach

Guaranteeing runtime integrity of embedded system software is an open problem. Trade-offs between security and other priorities (e.g., cost or performance) are inherent, and resolving them is both challenging and important. The…

密码学与安全 · 计算机科学 2022-09-05 Ivan De Oliveira Nunes , Sashidhar Jakkamsetti , Youngil Kim , Gene Tsudik

Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems…

系统与控制 · 电气工程与系统科学 2021-04-28 Emmanuel Ledinot

Actually Information security becomes a very important part for the organization's intangible assets, so level of confidence and stakeholder trusted are performance indicator as successes organization. Since information security has a very…

密码学与安全 · 计算机科学 2012-03-29 Heru Susanto , Mohammad Nabil Almunawar , Yong Chee Tuan , Mehmet Sabih Aksoy , Wahyudin P. Syam

This paper introduces an approach for synthesizing feasible safety indices to derive safe control laws under state-dependent control spaces. The problem, referred to as Safety Index Synthesis (SIS), is challenging because it requires the…

系统与控制 · 电气工程与系统科学 2025-01-22 Rui Chen , Weiye Zhao , Changliu Liu

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two…

软件工程 · 计算机科学 2019-02-15 Mario Gleirscher , Stefan Kugele

In human-robot collaboration (HRC), software-based automatic safety controllers (ASCs) are used in various forms (e.g. shutdown mechanisms, emergency brakes, interlocks) to improve operational safety. Complex robotic tasks and increasingly…

机器人学 · 计算机科学 2025-03-21 Mario Gleirscher , Radu Calinescu

Collaborative AI systems (CAISs) aim at working together with humans in a shared space to achieve a common goal. This critical setting yields hazardous circumstances that could harm human beings. Thus, building such systems with strong…

Designing, assuring and releasing safe automated vehicles is a highly interdisciplinary process. As complex systems, automated driving systems will inevitably be subject to emergent properties, i. e., the properties of the overall system…

系统与控制 · 电气工程与系统科学 2025-02-11 Marcus Nolte , Markus Maurer

As any scientific discipline, the software engineering (SE) research community strives to contribute to the betterment of the target population of our research: software producers and consumers. We will only achieve this betterment if we…

软件工程 · 计算机科学 2025-11-20 Julian Frattini , Hans-Martin Heyn , Robert Feldt , Richard Torkar

Side-channel attacks extracting sensitive data from implementations have been considered a major threat to the security of cryptographic schemes. This has elevated the need for improved designs by embodying countermeasures, with masking…

密码学与安全 · 计算机科学 2021-07-01 Ana Covic , Fatemeh Ganji , Domenic Forte

Autonomous Driving (AD) systems rely on AI components to make safety and correct driving decisions. Unfortunately, today's AI algorithms are known to be generally vulnerable to adversarial attacks. However, for such AI component-level…

The increasing integration of modern IT technologies into OT technologies and industrial systems is expanding the vulnerability surface of legacy infrastructures, which often rely on outdated protocols and resource-constrained devices.…

密码学与安全 · 计算机科学 2025-05-07 Alessandro Lotto , Alessandro Brighente , Mauro Conti

Empirical studies of research software are hard to compare because the literature operationalizes ``research software'' inconsistently. Motivated by the research software supply chain (RSSC) and its security risks, we introduce an…

Many software products are composed of components integrated from other teams or external parties. Each additional link in a software product's supply chain increases the risk of the injection of malicious behavior. To improve supply chain…

软件工程 · 计算机科学 2025-03-31 Kelechi G. Kalu , Tanya Singla , Chinenye Okafor , Santiago Torres-Arias , James C. Davis

The openness of modern IT systems and their permanent change make it challenging to keep these systems secure. A combination of regression and security testing called security regression testing, which ensures that changes made to a system…

密码学与安全 · 计算机科学 2023-09-19 Irdin Pekaric , Clemens Sauerwein , Michael Felderer

Wirelessly-connected robotic systems empower robots with real-time intelligence by leveraging remote computing resources for decision-making. However, the data exchange between robots and edge servers often overwhelms communication links,…

机器人学 · 计算机科学 2026-04-28 Wenchao Wu , Shutong Chen , Wenjie Liu , Zhibo Pang , Yansha Deng , Robert Schober

Connected and autonomous vehicles, also known as CAVs, are a general trend in the evolution of the automotive industry that can be utilized to make transportation safer, improve the number of mobility options available, user costs will go…

密码学与安全 · 计算机科学 2023-10-17 S M Mostaq Hossain , Shampa Banik , Trapa Banik , Ashfak Md Shibli

Software development industries are increasingly adopting containers to enhance the scalability and flexibility of software applications. Security in containerized projects is a critical challenge that can lead to data breaches and…

软件工程 · 计算机科学 2025-04-11 Maha Sroor , Rahul Mohanani , Ricardo Colomo-Palacios , Sandun Dasanayake , Tommi Mikkonen