中文
相关论文

相关论文: In Specs we Trust? Conformance-Analysis of Impleme…

200 篇论文

Mobile applications play an important role in the economy today and there is an increasing trend for app enablement on multiple platforms. However, creating, distributing, and maintaining an application remain expert tasks. Even for…

软件工程 · 计算机科学 2022-10-05 Chuhao Wu , Jose Miguel Perez-Alvarez , Adrian Mos , John M. Carroll

The Internet of Things (IoT) is a distributed system of physical objects that requires the seamless integration of hardware (e.g., sensors, actuators, electronics) and network communications in order to collect and exchange data. IoT smart…

系统与控制 · 电气工程与系统科学 2024-02-07 Tiago M. Fernández-Caramés , Paula Fraga-Lamas , Manuel Suárez-Albela , Luis Castedo

With the rapid development of the Internet of things (IoT), more and more IoT devices are connected and communicate frequently. In this background, the traditional centralized security architecture of IoT will be limited in terms of data…

密码学与安全 · 计算机科学 2018-12-21 Ziqing Guo , Hua Zhang , Xin Zhang , Zhengping Jin , Qiaoyan Wen

Today's Internet utilizes a multitude of different protocols. While some of these protocols were first implemented and used and later documented, other were first specified and then implemented. Regardless of how protocols came to be, their…

密码学与安全 · 计算机科学 2016-10-19 Tobias Fiebig , Franziska Lichtblau , Florian Streibelt , Thorben Krueger , Pieter Lexis , Randy Bush , Anja Feldmann

Background: Despite the widespread use of automated security defect detection tools, software projects still contain many security defects that could result in serious damage. Such tools are largely context-insensitive and may not cover all…

软件工程 · 计算机科学 2023-07-06 Jiaxin Yu , Liming Fu , Peng Liang , Amjed Tahir , Mojtaba Shahin

Despite its ever-increasing impact, security is not considered as a design objective in commercial electronic design automation (EDA) tools. This results in vulnerabilities being overlooked during the software-hardware design process.…

密码学与安全 · 计算机科学 2023-08-08 Lennart M. Reimann , Jonathan Wiesner , Dominik Sisejkovic , Farhad Merchant , Rainer Leupers

Secure by Design has become the mainstream development approach ensuring that software systems are not vulnerable to cyberattacks. Architectural security controls need to be carefully monitored over the software development life cycle to…

软件工程 · 计算机科学 2023-07-13 Ahmet Okutan , Ali Shokri , Viktoria Koscinski , Mohamad Fazelinia , Mehdi Mirakhorli

Public development processes are a key characteristic of open source projects. However, fixes for vulnerabilities are usually discussed privately among a small group of trusted maintainers, and integrated without prior public involvement.…

软件工程 · 计算机科学 2020-09-08 Ralf Ramsauer , Lukas Bulwahn , Daniel Lohmann , Wolfgang Mauerer

IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order to reduce this risk, the IETF is pushing IoT vendors to…

密码学与安全 · 计算机科学 2023-01-19 Ayyoob Hamza , Dinesha Ranathunga , H. Habibi Gharakheili , Matthew Roughan , Vijay Sivaraman

Requirements traceability in safety-critical software development remains largely dependent on external documentation maintained separately from the systems it describes. This separation introduces structural fragility: traces degrade…

软件工程 · 计算机科学 2026-03-17 Thorsten Schlathölter

Open Source Software (OSS) security and resilience are worldwide phenomena hampering economic and technological innovation. OSS vulnerabilities can cause unauthorized access, data breaches, network disruptions, and privacy violations,…

Information protection is becoming a focal point for designing, creating and implementing software applications within highly integrated technology environments. The use of a safe coding technique in the software development process is…

Advances in manufacturing technologies have enabled System-on-Chip (SoC) designers to integrate an increasing number of cores on a single SoC. Increasing SoC complexity coupled with tight time-to-market deadlines has led to increased…

密码学与安全 · 计算机科学 2023-02-14 Subodha Charles , Prabhat Mishra

Open-source projects are essential to software development, but publicly disclosing vulnerabilities without fixes increases the risk of exploitation. The Open Source Security Foundation (OpenSSF) addresses this issue by promoting robust…

Open source software (OSS) generates trillions of dollars in economic value and has become essential to the technical infrastructures that power organizations worldwide. As these systems increasingly depend on OSS, understanding the…

软件工程 · 计算机科学 2026-01-06 Elijah Kayode Adejumo , Mariam Guizani , Brittany Johnson

The field of IoT has blossomed and is positively influencing many application domains. In this paper, we bring out the unique challenges this field poses to research in computer systems and networking. The unique challenges arise from the…

分布式、并行与集群计算 · 计算机科学 2020-05-18 Saurabh Bagchi , Tarek F. Abdelzaher , Ramesh Govindan , Prashant Shenoy , Akanksha Atrey , Pradipta Ghosh , Ran Xu

The number of embedded devices that connect to a wireless network has been growing for the past decade. This interaction creates a network of Internet of Things (IoT) devices where data travel continuously. With the increase of devices and…

密码学与安全 · 计算机科学 2021-08-12 Marc Jayson Baucas , Petros~Spachos , Konstantinos Plataniotis

The rapid proliferation of IoT nodes equipped with microphones and capable of performing on-device audio classification exposes highly sensitive data while operating under tight resource constraints. To protect against this, we present a…

密码学与安全 · 计算机科学 2025-11-17 Sergio Benlloch-Lopez , Miquel Viel-Vazquez , Javier Naranjo-Alcazar , Jordi Grau-Haro , Pedro Zuccarello

In stream-based programming, data sources are abstracted as a stream of values that can be manipulated via callback functions. Stream-based programming is exploding in popularity, as it provides a powerful and expressive paradigm for…

软件工程 · 计算机科学 2018-08-10 Benno Stein , Lazaro Clapp , Manu Sridharan , Bor-Yuh Evan Chang

With the recent advances of IoT (Internet of Things) new and more robust security frameworks are needed to detect and mitigate new forms of cyber-attacks, which exploit complex and heterogeneity IoT networks, as well as, the existence of…

密码学与安全 · 计算机科学 2021-09-22 Gohar Sargsyan , Nicolas Castellon , Raymond Binnendijk , Peter Cozijnsen