{"controller"=>"catalog", "action"=>"show", "id"=>"268258697"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Denial-of-Service Security Attack in the Continuous-Time World

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Wang, Shuling ;
    Close
    Chinese Academy of Sciences
  • Nielson, Flemming ;
    Close
    Orcid logo0000-0001-7362-6176
    Department of Applied Mathematics and Computer Science, Technical University of Denmark
  • Nielson, Hanne Riis
    Close
    Orcid logo0000-0002-2484-5580
    Department of Applied Mathematics and Computer Science, Technical University of Denmark
Editor:
Ábrahám, Erika, Palamidessi, Catuscia
DOI:
10.1007/978-3-662-43613-4_10
Abstract:
Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the discrete controllers. However, due to denial-of-service security attack, the expected information from the controllers is not received and as a consequence the physical systems may fail to behave as expected. This paper proposes a formal framework for expressing denial-of-service security attack in hybrid systems. As a virtue, a physical system is able to plan for reasonable behavior in case the ideal control fails due to unreliable communication, in such a way that the safety of the system upon denial-of-service is still guaranteed. In the context of the modeling language, we develop an inference system for verifying safety of hybrid systems, without putting any assumptions on how the environments behave. Based on the inference system, we implement an interactive theorem prover and have applied it to check an example taken from train control system.
ISBN:
9783662436134, 9783662436127
Type:
Conference paper
Language:
English
Published in:
Lecture Notes in Computer Science, 2014, p. 149-165
Keywords:
Hybrid systems; Denial-of-service; Safety verification; Inference system
Main Research Area:
Science/technology
Publication Status:
Published
Series:
Lecture Notes in Computer Science
Review type:
Peer Review
Conference:
34th IFIP WG 6.1 International Conference, FORTE 2014
Publisher:
Springer
Submission year:
2014
Scientific Level:
Scientific
ID:
268258697

Full text access

  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • Technical university of dk

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en