標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; 32nd International C Friedemann Bitsch,Jérémie Guiochet,Mohamed Kaanich Conference proceedings [打印本頁] 作者: 緩和緊張狀況 時間: 2025-3-21 18:58
書目名稱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é)科排名
作者: Allege 時間: 2025-3-21 23:57 作者: 赤字 時間: 2025-3-22 03:13
A Formal Basis for Safety Case Patterns the current state of the practice, patterns exist as descriptive specifications with informal semantics, which not only offer little opportunity for more sophisticated usage such as automated instantiation, composition and manipulation, but also impede standardization efforts and tool interoperabil作者: Irrigate 時間: 2025-3-22 08:19
Testing Autonomous Robot Control Software Using Procedural Content Generationloped for the film and video game industries, to create a diverse range of test situations. We execute these in the Player/Stage robot simulator and automatically rate them for their safety significance using an event-based scoring system. Situations exhibiting dangerous behaviour will score highly,作者: 消極詞匯 時間: 2025-3-22 12:32 作者: 冷淡周邊 時間: 2025-3-22 16:37
Formalisation of an Industrial Approach to Monitoring Critical Datathat the displayed data are sufficiently fresh and non-corrupted constitutes an important part of safety requirements. However, the monitoring subsystems are typically not a part of a safety kernel and hence often built of SIL1–SIL2 components. In this paper, we formalise a recently implemented indu作者: 冷淡周邊 時間: 2025-3-22 18:16
Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties diagnostics equipment for a diagnostics session, even over long distances. However, since the diagnostics equipment contains authentication keys used to authenticate such sessions, it is critical that neither the keys nor the equipment is lost. Such a loss can give unauthorised access to any vehicl作者: cunning 時間: 2025-3-22 23:41 作者: 斜 時間: 2025-3-23 01:33
Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Studyn a geographically distributed honeypot deployment in several different countries and organizations. The malware was collected in August 2012: the results are relevant to recent and current threats observed in the Internet. We sent these malware to 42 AVs available from the VirusTotal service to eva作者: 星球的光亮度 時間: 2025-3-23 07:31
Software Fault-Freeness and Reliability Predictionss of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning – about evidence of correctness and about probabilities of certain failures – are rarely brought together explicitly. The desirability of using claims of correctness h作者: 斜 時間: 2025-3-23 11:52 作者: 壁畫 時間: 2025-3-23 16:34 作者: 無孔 時間: 2025-3-23 19:31 作者: compassion 時間: 2025-3-24 00:57
Low-Level Attacks on Avionics Embedded Systemswith one of the techniques that can be applied to improve the security of such systems: vulnerability assessment. More precisely, this paper presents experiments carried out on an experimental embedded operating system in order to assess vulnerabilities in its low-level implementation layers. The ma作者: endocardium 時間: 2025-3-24 02:49 作者: 機(jī)警 時間: 2025-3-24 08:19 作者: PAGAN 時間: 2025-3-24 13:32 作者: 爆米花 時間: 2025-3-24 17:35
Safety Transformations: Sound and Complete?ecially transformations based on arithmetic codes such as an AN- or ANB-code apply complex and error-prone transformations, while at the same time aiming for safety- or mission-critical applications. Testing and error injection are used so far to ensure correctness and error detection capabilities. 作者: 補(bǔ)助 時間: 2025-3-24 21:48 作者: 不可磨滅 時間: 2025-3-24 23:36 作者: 分貝 時間: 2025-3-25 03:52
It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planningl programming paradigms that act as a simple yet powerful interface between programmer, automatic planning, and the robot. A significant amount of our work on robot safety and control has found found its way into international standardization committees, products, and was applied in numerous real-wo作者: 殺菌劑 時間: 2025-3-25 09:26 作者: GRAZE 時間: 2025-3-25 11:51 作者: mutineer 時間: 2025-3-25 16:18
https://doi.org/10.1007/978-3-642-40793-2critical infrastructures protection; fault tolerance; malware; safety-related embedded system; vulnerabi作者: ARIA 時間: 2025-3-25 20:07
978-3-642-40792-5Springer-Verlag Berlin Heidelberg 2013作者: CURL 時間: 2025-3-26 00:49
Computer Safety, Reliability, and Security978-3-642-40793-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: antenna 時間: 2025-3-26 05:45 作者: heartburn 時間: 2025-3-26 10:55 作者: 冰雹 時間: 2025-3-26 14:18
Comparison between theory and experiment, the current state of the practice, patterns exist as descriptive specifications with informal semantics, which not only offer little opportunity for more sophisticated usage such as automated instantiation, composition and manipulation, but also impede standardization efforts and tool interoperabil作者: Toxoid-Vaccines 時間: 2025-3-26 19:13
A. García,P. Kielanowski,A. Bohmloped for the film and video game industries, to create a diverse range of test situations. We execute these in the Player/Stage robot simulator and automatically rate them for their safety significance using an event-based scoring system. Situations exhibiting dangerous behaviour will score highly,作者: medium 時間: 2025-3-26 21:57 作者: projectile 時間: 2025-3-27 04:55 作者: Eeg332 時間: 2025-3-27 08:06
https://doi.org/10.1007/3-540-15184-2 diagnostics equipment for a diagnostics session, even over long distances. However, since the diagnostics equipment contains authentication keys used to authenticate such sessions, it is critical that neither the keys nor the equipment is lost. Such a loss can give unauthorised access to any vehicl作者: 人工制品 時間: 2025-3-27 09:31 作者: 符合國情 時間: 2025-3-27 13:49 作者: Plaque 時間: 2025-3-27 19:28
Comparison between theory and experiment,s of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning – about evidence of correctness and about probabilities of certain failures – are rarely brought together explicitly. The desirability of using claims of correctness h作者: 損壞 時間: 2025-3-27 22:56
A. García,P. Kielanowski,A. Bohm unsafe failure rate is below some bound, but in practice, the bound is not low enough to demonstrate the level of safety performance required for critical software-based systems like avionics. This paper argues higher levels of safety performance can be claimed by taking account of: 1) external mit作者: 可用 時間: 2025-3-28 05:37 作者: 外觀 時間: 2025-3-28 09:57
https://doi.org/10.1007/b139008affic signal. Depending on the desired traffic situation, the corresponding traffic signal is switched on or off via the power line. For the time being, there is no programmable logic included in each traffic signal. As a result, there is a single type for each application available e.g., due to dif作者: mastopexy 時間: 2025-3-28 11:07 作者: Retrieval 時間: 2025-3-28 16:05
https://doi.org/10.1007/b139008nction has the potential to lead to an unreasonable level of risk. In order to justify freedom from unreasonable risk, a safety argument should be developed in which the safety requirements are shown to be complete and satisfied by the evidence generated from the ISO?26262 work products. However, th作者: Aromatic 時間: 2025-3-28 21:14 作者: 易于出錯 時間: 2025-3-29 02:32 作者: 神圣不可 時間: 2025-3-29 06:29 作者: 廢墟 時間: 2025-3-29 07:31 作者: fiction 時間: 2025-3-29 14:59 作者: 裁決 時間: 2025-3-29 17:48
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233725.jpg作者: addition 時間: 2025-3-29 19:53 作者: ventilate 時間: 2025-3-30 03:15
A. García,P. Kielanowski,A. Bohmis a form of epistemology and requires human experience and insight, but the second can, in principle, be reduced to logic and then checked and automated using the technology of formal methods..We propose that reducing epistemic doubt is the main challenge in safety cases, and discuss ways in which this might be achieved.作者: BRAND 時間: 2025-3-30 07:15
“Nothing but God and the Brain”experiments carried out on an experimental embedded operating system in order to assess vulnerabilities in its low-level implementation layers. The main characteristics of this embedded system, the platform used to carry out our experiments, as well as the first results of these experiments are described.作者: 不能約 時間: 2025-3-30 10:26
Logic and Epistemology in Safety Casesis a form of epistemology and requires human experience and insight, but the second can, in principle, be reduced to logic and then checked and automated using the technology of formal methods..We propose that reducing epistemic doubt is the main challenge in safety cases, and discuss ways in which this might be achieved.作者: Prostatism 時間: 2025-3-30 15:20
Low-Level Attacks on Avionics Embedded Systemsexperiments carried out on an experimental embedded operating system in order to assess vulnerabilities in its low-level implementation layers. The main characteristics of this embedded system, the platform used to carry out our experiments, as well as the first results of these experiments are described.作者: ethnology 時間: 2025-3-30 18:13 作者: 入伍儀式 時間: 2025-3-30 23:40
https://doi.org/10.1007/3-540-15184-2thentication of diagnostics equipment. Our approach enables vehicles to verify the validity of diagnostics requests. It is transparent to the diagnostics protocol being used, supports different levels of trust, and can control what commands are permitted during diagnostics sessions.作者: fulcrum 時間: 2025-3-31 03:11
Comparison between theory and experiment,g reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems.作者: 讓空氣進(jìn)入 時間: 2025-3-31 05:33 作者: 多山 時間: 2025-3-31 12:42 作者: indigenous 時間: 2025-3-31 14:08 作者: Limpid 時間: 2025-3-31 18:29
Software Fault-Freeness and Reliability Predictionsg reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems.作者: 多產(chǎn)子 時間: 2025-3-31 23:58 作者: 擴(kuò)大 時間: 2025-4-1 04:36
Safety Transformations: Sound and Complete?demonstrate functional correctness, we discovered bugs that prevent propagation of errors almost completely for AN-encoded divisions and reduce propagation significantly for logical bitwise operations.作者: 壟斷 時間: 2025-4-1 09:34 作者: Virtues 時間: 2025-4-1 12:38
Comparison between theory and experiment,strial approach to architecting dependable monitoring systems, which ensures data freshness and integrity despite unreliability of their components. Moreover, we derive an architectural pattern that allows us to formally reason about data freshness and integrity. The proposed approach is illustrated by an industrial case study.作者: 四指套 時間: 2025-4-1 14:28
A. García,P. Kielanowski,A. Bohmrt card data and code. By modeling the conditions, we discovered new attack paths to get access to the smart card contents. Then we introduce a new security . which is proposed to mitigate the undesirable events defined in the tree models.作者: instate 時間: 2025-4-1 22:29 作者: 胰臟 時間: 2025-4-1 23:32 作者: 擔(dān)心 時間: 2025-4-2 04:41
Vulnerability Analysis on Smart Cards Using Fault Treert card data and code. By modeling the conditions, we discovered new attack paths to get access to the smart card contents. Then we introduce a new security . which is proposed to mitigate the undesirable events defined in the tree models.作者: 一小塊 時間: 2025-4-2 07:37
