Logo des Repositoriums
 

Semi-Formal Representation and Evaluation of Security Properties

Kurzanzeige
dc.contributor.authorLou, Xinxin
dc.contributor.authorZid, Ines Ben
dc.contributor.authorParekh, Mithil
dc.contributor.authorGao, Yuan
dc.contributor.editorEibl, Maximilian
dc.contributor.editorGaedke, Martin
dc.date.accessioned2017-08-28T23:46:57Z
dc.date.available2017-08-28T23:46:57Z
dc.date.issued2017
dc.description.abstractIn life-critical and safety-critical systems, one small fault can lead to huge financial and personal damages. How to reduce system failure is an important question for engineers. After the software crisis, formal methods were proposed, which have been proved to effectively reduce the risk of failure. However, the formal method is somehow not as popular as expected, because it is not easy to master, and furthermore, lacks sufficient tools to support this method. In contrast, semi-formal method as a model-driven way is widely used in industry. In this paper, we attempt to apply an application of the semi-formal method to reduce security vulnerabilities of industrial systems. Furthermore, using CSlang, different Information Security Indicators (ISI) can be represented for Industrial Automation and Control Systems (IACS).en
dc.identifier.doi10.18420/in2017_103
dc.identifier.isbn978-3-88579-669-5
dc.identifier.pissn1617-5468
dc.language.isoen
dc.publisherGesellschaft für Informatik, Bonn
dc.relation.ispartofINFORMATIK 2017
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-275
dc.subjectSemi-formal method
dc.subjectCSlang
dc.subjectcyber security
dc.subjectformal method
dc.titleSemi-Formal Representation and Evaluation of Security Propertiesen
gi.citation.endPage1018
gi.citation.startPage1015
gi.conference.date25.-29. September 2017
gi.conference.locationChemnitz
gi.conference.sessiontitle2nd GI/ACM Industry4.0 Security Standardisation Workshop on Industrial Automation and Control Systems (IACS)

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
B12-5.pdf
Größe:
423.63 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P275 - INFORMATIK 2017