A model-checking-based approach to risk analysis in supply chain consolidations

Tan, Li; Xu, Shenghan

doi:10.3233/ica-2009-0318

Cited by 9 publications

(6 citation statements)

References 10 publications

(13 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is mainly due to the desire of forecasting events as accurately as possible. Many techniques have been developed for risk assessment, e.g., [4], [15], [2], [16], [12], [11], [14]. Although quite different in nature, all these works basically aim at tackling the problem of the selection process of security measures to reduce risks.…”

Section: Discussionmentioning

confidence: 99%

A complete tableau procedure for risk analysis

Cristani

Karafili

Viganò

2013

2013 International Conference on Risks and Security of Internet and Systems (CRiSIS)

View full text Add to dashboard Cite

In many real-life situations making a decision entails evaluating the risks associated with the decision, which in turn requires reasoning about events and their relations. In addition to the simpler and better-understood notions of causation and precondition, in this paper we focus on block (or prevention), which is the relation established between an event φ1 and another event φ2 such that the number of occurrences of φ2 decreases whenever φ1 occurs, and mitigation, where the occurrence of φ1 reduces the "negative" (for the particular decision we are considering) consequences of the occurrence of φ2. By introducing two further counting operators and the notion of interval of observation, we give here a sound and complete tableau system along with a systematic tableau construction procedure.

show abstract

Section: Discussionmentioning

confidence: 99%

A complete tableau procedure for risk analysis

Cristani

Karafili

Viganò

2013

2013 International Conference on Risks and Security of Internet and Systems (CRiSIS)

View full text Add to dashboard Cite

show abstract

“…Markov chain and Monte Carlo are other two methods techniques for supporting decision-makings. Tan Li et al proposed a model-checking approach to predict the system risks in supply chain [28]. They make use of Markov Decision Processes to model the stochastic behavior of supply chains.…”

Section: Quantitative Assessment Techniques Supporting Engineering Symentioning

confidence: 99%

A domain-specific modeling approach supporting tool-chain development with Bayesian network models

Wang

Tao

et al. 2020

ICA

View full text Add to dashboard Cite

Constructing and evaluating a comprehensive tool-chain with commercial off-the-shelf and proprietary tools for the deployment of model-based systems engineering (MBSE) is a challenging and complex task. Specifically, the lack of early assessment during tool-chain development has led to increased research and development costs when unexpected features are developed or poor decisions are made. In this paper, a domain-specific modeling (DSM) approach is proposed to support decision-makings during tool-chain design and to facilitate quantitative assessment of tool-chain features at early-phases. Using this approach, different views of tool-chains are first formalized under a DSM framework. Then the DSM models are transformed to Bayesian network models for supporting the quantitative assessment of related tools in order to analyze the whole tool-chains' features. In the case study, the approach is verified by comparing two MBSE tool-chains for an auto-braking system design. The results indicate that the DSM approach enhances the understanding of tool-chain concepts, promotes the efficiency of MBSE tool-chain development, and verifies the tool-chain in early development phases using a quantitative approach.

show abstract

“…Since AMI is a point of contact for internal and external telecommunication networks of power consumer, it can be the target of firmware, worm, virus, and malicious code circulation, meter bot, DDoS (distributed denial of service) attack, and others [15,16].…”

Section: Smart Grid Smart Grid Includes Various Infrastructures Inclmentioning

confidence: 99%

Authentication Method for Privacy Protection in Smart Grid Environment

Cho

Yeo

Kim

2014

Journal of Applied Mathematics

View full text Add to dashboard Cite

Recently, the interest in green energy is increasing as a means to resolve problems including the exhaustion of the energy source and, effective management of energy through the convergence of various fields. Therefore, the projects of smart grid which is called intelligent electrical grid for the accomplishment of low carbon green growth are being carried out in a rush. However, as the IT is centered upon the electrical grid, the shortage of IT also appears in smart grid and the complexity of convergence is aggravating the problem. Also, various personal information and payment information within the smart grid are gradually becoming big data and target for external invasion and attack; thus, there is increase in concerns for this matter. The purpose of this study is to analyze the security vulnerabilities and security requirement within smart grid and the authentication and access control method for privacy protection within home network. Therefore, we propose a secure access authentication and remote control method for user’s home device within home network environment, and we present their security analysis. The proposed access authentication method blocks the unauthorized external access and enables secure remote access to home network and its devices with a secure message authentication protocol.

show abstract

A model-checking-based approach to risk analysis in supply chain consolidations

Cited by 9 publications

References 10 publications

A complete tableau procedure for risk analysis

A complete tableau procedure for risk analysis

A domain-specific modeling approach supporting tool-chain development with Bayesian network models

Authentication Method for Privacy Protection in Smart Grid Environment

Contact Info

Product

Resources

About