A formal model and risk assessment method for security-critical real-time embedded systems-Reference-Cited by-同舟云学术

A formal model and risk assessment method for security-critical real-time embedded systems

Published:2016-05 Issue: Volume:58 Page:199-215
ISSN:0167-4048
Container-title:Computers & Security
language:en
Short-container-title:Computers & Security

Author:

Ni Siru,Zhuang Yi,Gu Jingjing,Huo Ying

Funder

National Natural Science Foundation of China

Funding of Jiangsu Innovation Program for Graduate Education

National Natural Science Foundation for Youth of China

Publisher

Elsevier BV

Subject

Law,General Computer Science

Reference50 articles.

1. Octave criteria, version 2.0. Technical report ESC-TR-2001-016;Albert,2001

2. Automated Software Architecture Security Risk Analysis using Formalized Signatures;Almorsy,2013

3. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Trans Dependable Secure Comput,2004

4. Risk Management;AS/NZS 4360,2004

5. Prioritizing countermeasures through the countermeasure method for software security (cm-sec). Product-Focused Software Process Improvement;Baca,2010

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FIRE: A Finely Integrated Risk Evaluation Methodology for Life-Critical Embedded Systems;Information;2022-10-10

2. How Do Organizations Learn from Information System Incidents? A Synthesis of the Past, Present, and Future;MIS Quarterly;2022-02-15

3. Situation awareness framework for industrial control system based on cyber kill chain;MATEC Web of Conferences;2021

4. Enterprise information security risk assessment model;AIP Conference Proceedings;2021

5. Fundamentals for the Challenge of Controlling Risk Through Standardization;Advanced Models and Tools for Effective Decision Making Under Uncertainty and Risk Contexts;2021