Is Quantitative Analysis of Stuxnet Possible?

A.V. Kolesnichenko; Pieter-Tjerk de Boer; Anne Katharina Ingrid Remke; Emmanuele Zambon; Boudewijn R.H.M. Haverkort

Is Quantitative Analysis of Stuxnet Possible?

A.V. Kolesnichenko, Pieter-Tjerk de Boer, Anne Katharina Ingrid Remke, Emmanuele Zambon, Boudewijn R.H.M. Haverkort

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

136 Downloads (Pure)

Abstract

The questions we address in the present paper is to what extent quantitative analysis of Stuxnet is feasible and what is necessary to increase its precision.

Original language	Undefined
Title of host publication	QEST 2011: Fast Abstracts
Editors	Joost P. Katoen, B. Van Houdt
Place of Publication	Enschede, The Netherlands
Publisher	Centre for Telematics and Information Technology (CTIT)
Pages	9-10
Number of pages	2
Publication status	Published - 7 Sep 2011
Event	8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 - RWTH Aachen University, Aachen, Germany Duration: 5 Sep 2011 → 8 Sep 2011 Conference number: 8

Publication series

Name	CTIT Workshop Proceedings
Publisher	Centre for Telematics and Information Technology University of Twente
Volume	WP11-03
ISSN (Print)	0929-0672
ISSN (Electronic)	0929-0672

Conference

Conference	8th International Conference on Quantitative Evaluation of SysTems, QEST 2011
Abbreviated title	QEST
Country/Territory	Germany
City	Aachen
Period	5/09/11 → 8/09/11

Keywords

METIS-284924
EWI-20911
SCS-Cybersecurity
IR-79185

Access to Document

http://www.ctit.utwente.nl/library/proceedings/wp11-03.pdf

Cite this

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I., Zambon, E., & Haverkort, B. R. H. M. (2011). Is Quantitative Analysis of Stuxnet Possible? In J. P. Katoen, & B. Van Houdt (Eds.), QEST 2011: Fast Abstracts (pp. 9-10). (CTIT Workshop Proceedings; Vol. WP11-03). Centre for Telematics and Information Technology (CTIT). http://www.ctit.utwente.nl/library/proceedings/wp11-03.pdf

@inproceedings{d536a003d1f342ef8ce081cf789ae62d,

title = "Is Quantitative Analysis of Stuxnet Possible?",

abstract = "The questions we address in the present paper is to what extent quantitative analysis of Stuxnet is feasible and what is necessary to increase its precision.",

keywords = "METIS-284924, EWI-20911, SCS-Cybersecurity, IR-79185",

author = "A.V. Kolesnichenko and {de Boer}, Pieter-Tjerk and Remke, {Anne Katharina Ingrid} and Emmanuele Zambon and Haverkort, {Boudewijn R.H.M.}",

year = "2011",

month = sep,

day = "7",

language = "Undefined",

series = "CTIT Workshop Proceedings",

publisher = "Centre for Telematics and Information Technology (CTIT)",

pages = "9--10",

editor = "Katoen, {Joost P.} and {Van Houdt}, B.",

booktitle = "QEST 2011: Fast Abstracts",

address = "Netherlands",

note = "null ; Conference date: 05-09-2011 Through 08-09-2011",

}

Kolesnichenko, AV, de Boer, P-T , Remke, AKI, Zambon, E & Haverkort, BRHM 2011, Is Quantitative Analysis of Stuxnet Possible? in JP Katoen & B Van Houdt (eds), QEST 2011: Fast Abstracts. CTIT Workshop Proceedings, vol. WP11-03, Centre for Telematics and Information Technology (CTIT), Enschede, The Netherlands, pp. 9-10, 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, Aachen, Germany, 5/09/11. <http://www.ctit.utwente.nl/library/proceedings/wp11-03.pdf>

Is Quantitative Analysis of Stuxnet Possible? / Kolesnichenko, A.V.; de Boer, Pieter-Tjerk ; Remke, Anne Katharina Ingrid et al.

QEST 2011: Fast Abstracts. ed. / Joost P. Katoen; B. Van Houdt. Enschede, The Netherlands : Centre for Telematics and Information Technology (CTIT), 2011. p. 9-10 (CTIT Workshop Proceedings; Vol. WP11-03).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review