標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; 35th International C Amund Skavhaug,Jérémie Guiochet,Friedemann Bitsch Conference proceedings 2 [打印本頁] 作者: 非決定性 時(shí)間: 2025-3-21 19:12
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)學(xué)科排名
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computer Safety, Reliability, and Security被引頻次
書目名稱Computer Safety, Reliability, and Security被引頻次學(xué)科排名
書目名稱Computer Safety, Reliability, and Security年度引用
書目名稱Computer Safety, Reliability, and Security年度引用學(xué)科排名
書目名稱Computer Safety, Reliability, and Security讀者反饋
書目名稱Computer Safety, Reliability, and Security讀者反饋學(xué)科排名
作者: 憂傷 時(shí)間: 2025-3-21 20:36
Using Process Models in System Assurance the process justifications required in assurance cases for critical systems. We use an example case study to illustrate an implementation of the approach. We describe the advantages that this approach brings for system assurance and the development of critical systems.作者: 召集 時(shí)間: 2025-3-22 00:39
Composition of Safety Argument Patternssatisfies certain desirable properties. Furthermore, we show that it is always possible to construct complex patterns by omposition in this way. We motivate this work with example patterns extracted from real aviation safety cases, and illustrate the application of the theory on the same.作者: 打包 時(shí)間: 2025-3-22 04:43 作者: Isolate 時(shí)間: 2025-3-22 11:06
Using STPA in an ISO 26262 Compliant Processl hazard analysis techniques. In this paper, we analyze how STPA can be used in an ISO?26262 compliant process. We also provide an excerpt of our application of STPA on an automotive subsystem as per the concept phase of ISO?26262.作者: Herd-Immunity 時(shí)間: 2025-3-22 13:05
Automatic Invariant Selection for Online Anomaly Detectionse a general and automatic approach for identifying a subset of mined invariants that properly model system runtime behavior with a reduced amount of background noise. This translates into better overall performance (i.e., less false positives).作者: Herd-Immunity 時(shí)間: 2025-3-22 17:36
0302-9743 iability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anom作者: Nostalgia 時(shí)間: 2025-3-22 23:05
Linkage Between Stratigraphyand Hydrology,security of one of the most used industrial protocols: OPC-UA. Using ProVerif, a well known cryptographic protocol verification tool, we are able to check secrecy and authentication properties. We find several attacks on the protocols and provide countermeasures.作者: debase 時(shí)間: 2025-3-23 05:19 作者: epinephrine 時(shí)間: 2025-3-23 09:11 作者: 挫敗 時(shí)間: 2025-3-23 09:52 作者: 先兆 時(shí)間: 2025-3-23 16:42 作者: 殘暴 時(shí)間: 2025-3-23 20:59
https://doi.org/10.1007/978-1-4020-4672-8methods and the recommendations of the SAE J3061 guidebook regarding threat analysis and risk assessment method (TARA) is given. The aim of this work is to provide a position statement for the discussion of available analysis methods and their applicability for early development phases in context of ISO?26262 and SAE J3061.作者: conceal 時(shí)間: 2025-3-24 00:49 作者: Diuretic 時(shí)間: 2025-3-24 03:45
https://doi.org/10.1007/978-94-011-6361-3 fault tolerance mechanisms (instance of a FTDP) depends on the strict compliance with such assumptions. The objective of the paper is to provide a model to simplify the analysis of resilient systems, in particular focusing on adaptive fault tolerant computing. Simple measures are illustrated on evolution scenarii.作者: 異端 時(shí)間: 2025-3-24 10:33 作者: magnate 時(shí)間: 2025-3-24 12:40 作者: 北極人 時(shí)間: 2025-3-24 17:27 作者: 玩忽職守 時(shí)間: 2025-3-24 19:20
A Review of Threat Analysis and Risk Assessment Methods in the Automotive Contextmethods and the recommendations of the SAE J3061 guidebook regarding threat analysis and risk assessment method (TARA) is given. The aim of this work is to provide a position statement for the discussion of available analysis methods and their applicability for early development phases in context of ISO?26262 and SAE J3061.作者: 使顯得不重要 時(shí)間: 2025-3-25 02:21
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architecturesderlying layers instead. Experimental evaluation shows that the detection accuracy is increased considerably through context-awareness and multiple layers monitoring. Results are compared to state-of-the-art anomaly detectors exercised in demanding more static contexts.作者: Nonporous 時(shí)間: 2025-3-25 06:49
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis fault tolerance mechanisms (instance of a FTDP) depends on the strict compliance with such assumptions. The objective of the paper is to provide a model to simplify the analysis of resilient systems, in particular focusing on adaptive fault tolerant computing. Simple measures are illustrated on evolution scenarii.作者: Incommensurate 時(shí)間: 2025-3-25 10:55 作者: 充滿人 時(shí)間: 2025-3-25 12:56
Kara Szathmáry,Ron Miller,Jon Ramerative codes, criteria and metrics to evaluate or compare obtained results. We present FISSC, the first public code collection dedicated to the analysis of code robustness against fault injection attacks. FISSC provides a framework of various robust code implementations and an approach for comparing tools based on predefined attack scenarios.作者: IRK 時(shí)間: 2025-3-25 18:44
The Becher Wetlands - A Ramsar Site the process justifications required in assurance cases for critical systems. We use an example case study to illustrate an implementation of the approach. We describe the advantages that this approach brings for system assurance and the development of critical systems.作者: 佛刊 時(shí)間: 2025-3-25 23:09 作者: 花費(fèi) 時(shí)間: 2025-3-26 02:23 作者: dithiolethione 時(shí)間: 2025-3-26 05:52
The Becher Wetlands - A Ramsar Sitel hazard analysis techniques. In this paper, we analyze how STPA can be used in an ISO?26262 compliant process. We also provide an excerpt of our application of STPA on an automotive subsystem as per the concept phase of ISO?26262.作者: NAIVE 時(shí)間: 2025-3-26 09:48 作者: 謙虛的人 時(shí)間: 2025-3-26 12:40
Conference proceedings 2016 in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber securit作者: lymphedema 時(shí)間: 2025-3-26 20:50
Linkage Between Stratigraphyand Hydrology,uardol to VHDL, then synthesized and tested the guard on a low-SWAP (Size, Weight, And Power) embedded FPGA-based hardware guard platform; performance of the FPGA guard core exceeded the data payload rate for UDP/IP packets on Gigabit Ethernet, while consuming less than 1?% of FPGA resources.作者: bleach 時(shí)間: 2025-3-27 00:33 作者: malapropism 時(shí)間: 2025-3-27 03:50
FISSC: A Fault Injection and Simulation Secure?Collection even in the presence of a malicious fault. Crafting applications robust against fault injection is an open problem for all actors of the secure application development life cycle, which prompted the development of many simulation tools. A major difficulty for these tools is the absence of represent作者: moratorium 時(shí)間: 2025-3-27 09:06
FIDL: A Fault Injection Description Language for Compiler-Based SFI Toolsility of software system against multiple fault scenarios is challenging, due to the combinatorial explosion and the advent of new fault models. These necessitate SFI tools that are programmable and easily extensible. This paper proposes FIDL, which stands for fault injection description language, w作者: 壯麗的去 時(shí)間: 2025-3-27 11:23 作者: 縫紉 時(shí)間: 2025-3-27 15:20
The Indispensable Role of Rationale in Safety Standardsted to accrue from use of the standard and an explicit rationale that justifies the contents of the standard. Current standards do not include an explicit, comprehensive rationale. Without a rationale, the use, maintenance, and revision of standards is unnecessarily difficult. We introduce a new con作者: CAND 時(shí)間: 2025-3-27 19:05
Composition of Safety Argument Patternsces, posing a potential challenge for comprehension and evaluation, offsetting the likely gains that might follow from creating arguments using them. We show how complex patterns can be constructed by . of simpler patterns. We provide a formal basis for pattern composition and show that this notion 作者: 刺穿 時(shí)間: 2025-3-28 01:19
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol Internet. Due to their interaction with the real world, it is crucial to prove the security of their protocols. In this paper, we formally study the security of one of the most used industrial protocols: OPC-UA. Using ProVerif, a well known cryptographic protocol verification tool, we are able to c作者: HEAVY 時(shí)間: 2025-3-28 04:39
A Dedicated Algorithm for Verification of Interlocking Systemsockings are controlled by a generic software that uses data, called application data, reflecting the layout of the station under control and defining which actions the interlocking can perform. The safety of the train traffic relies thereby on application data correctness, errors inside them can lea作者: 無禮回復(fù) 時(shí)間: 2025-3-28 09:12 作者: Explosive 時(shí)間: 2025-3-28 11:24 作者: heckle 時(shí)間: 2025-3-28 18:25 作者: 虛假 時(shí)間: 2025-3-28 20:07 作者: Integrate 時(shí)間: 2025-3-28 22:57 作者: vasculitis 時(shí)間: 2025-3-29 03:39
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysisand functionalities reasons, over-the-air updates are very attractive for embedded systems manufacturers in many application domains. The challenge here is to maintain dependability properties when facing changes. This is exactly the definition of resilient computing we consider in this work. The im作者: MANIA 時(shí)間: 2025-3-29 10:05
Automatic Invariant Selection for Online Anomaly Detectionbe used to detect anomalies at runtime. However, this approach does not scale to large systems, as the number of invariants quickly grows with the number of considered metrics. The resulting “background noise” for the invariant-based detection system hinders its effectiveness. In this paper we propo作者: cyanosis 時(shí)間: 2025-3-29 15:25 作者: 間諜活動 時(shí)間: 2025-3-29 17:01
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233720.jpg作者: 阻撓 時(shí)間: 2025-3-29 20:02
https://doi.org/10.1007/978-3-319-45477-1cloud computing; cybersecurity; formal verification; human-robot collaboration; safety analysis; anomaly 作者: Osteons 時(shí)間: 2025-3-30 01:47
978-3-319-45476-4Springer International Publishing Switzerland 2016作者: 廢墟 時(shí)間: 2025-3-30 06:03
Conference proceedings 2016 in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.
