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 proceedingConference contributionAcademicpeer-review

    105 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 languageUndefined
    Title of host publicationQEST 2011: Fast Abstracts
    EditorsJoost P. Katoen, B. Van Houdt
    Place of PublicationEnschede, The Netherlands
    PublisherCentre for Telematics and Information Technology (CTIT)
    Pages9-10
    Number of pages2
    Publication statusPublished - 7 Sep 2011
    Event8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 - RWTH Aachen University, Aachen, Germany
    Duration: 5 Sep 20118 Sep 2011
    Conference number: 8

    Publication series

    NameCTIT Workshop Proceedings
    PublisherCentre for Telematics and Information Technology University of Twente
    VolumeWP11-03
    ISSN (Print)0929-0672
    ISSN (Electronic)0929-0672

    Conference

    Conference8th International Conference on Quantitative Evaluation of SysTems, QEST 2011
    Abbreviated titleQEST
    CountryGermany
    CityAachen
    Period5/09/118/09/11

    Keywords

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

    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). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT).