doxazosin 发表于 2025-3-26 23:18:48
A Formal Verification of Safe Update Point Detection in Dynamic Software Updatingtions that must run continuously. Because updates may lead to safety errors and security breaches, the question of their correctness is raised. Formal methods are a rigorous means to ensure the high level of safety requested by such applications. The detection of points to perform safe updates is amaverick 发表于 2025-3-27 01:58:23
Analyzing the Risk of Authenticity Violation Based on the Structural and Functional Sizes of UML Seqve project cost, time, and effort. However, in the ISO 25010 quality model which describes quality sub-characteristics, authenticity measures are not explicitly described, neither are they documented with sufficient details. This paper proposes a clear and precise way of measuring the “authenticity”persistence 发表于 2025-3-27 07:07:54
Towards the Weaving of the Characteristics of Good Security Requirementsrements engineering. Many researchers, international standards and organizations have come up with various methodologies to facilitate the elicitation and evaluation of security requirements. However, the task of deriving good quality requirements still remains challenging. One of the main reasons imendacity 发表于 2025-3-27 12:00:33
Towards Empirical Evaluation of Automated Risk Assessment Methods with established methods in order to find factors that influence their effectiveness and ease of use. In this paper we evaluate the recent TREsPASS semi-automated risk assessment method with respect to the factors identified as critical in several controlled experiments. We also argue that automati征兵 发表于 2025-3-27 14:47:26
An n-Sided Polygonal Model to Calculate the Impact of Cyber Security Eventse approach considers information about all entities composing an information system (e.g., users, IP addresses, communication protocols, physical and logical resources, etc.). Every axis is composed of entities that contribute to the execution of the security event. Each entity has an associated weiLigneous 发表于 2025-3-27 17:48:12
SPTool – Equivalence Checker for , Attack Trees attack trees by including the sequential conjunctive operator (.) to the formalism. They thus allow to differentiate actions that need to be executed sequentially from those that can be performed in parallel. Since several structurally different . attack trees can represent the same attack scenario纠缠 发表于 2025-3-27 22:35:23
Formal Verification of a Memory Allocation Module of Contiki with ,: A Case Study critical. This short paper promotes the usage of formal verification to ensure safety and security of software in this domain. We present a successful case study on deductive verification of a memory allocation module of Contiki, a popular open-source operating system for IoT. We present the target同来核对 发表于 2025-3-28 05:43:28
http://reply.papertrans.cn/84/8309/830811/830811_38.pngexigent 发表于 2025-3-28 10:02:10
http://reply.papertrans.cn/84/8309/830811/830811_39.pngInferior 发表于 2025-3-28 10:58:04
http://reply.papertrans.cn/84/8309/830811/830811_40.png