Broadcast, Denial-of-Service, and Secure Communication

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

A main challenge in the design of wireless-based Cyber-Physical Systems consists in balancing the need for security and the effect of broadcast communication with the limited capabilities and reliability of sensor nodes. We present a calculus of broadcasting processes that enables to reason about unsolicited messages and lacking of expected communication. Moreover, standard cryptographic mechanisms can be implemented in the calculus via term rewriting. The modelling framework is complemented by an executable specification of the semantics of the calculus in Maude, thereby facilitating solving a number of simple reachability problems.
Original languageEnglish
Title of host publicationIntegrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
PublisherSpringer
Publication date2013
Pages412-427
ISBN (Print)978-3-642-38612-1
ISBN (Electronic)978-3-642-38613-8
DOIs
Publication statusPublished - 2013
Event10th International Conference on integrated Formal Methods (iFM 2013) - Turku, Finland
Duration: 10 Jun 201314 Jun 2013
http://www.it.abo.fi/iFM2013/

Conference

Conference10th International Conference on integrated Formal Methods (iFM 2013)
CountryFinland
CityTurku
Period10/06/201314/06/2013
Internet address
SeriesLecture Notes in Computer Science
Volume7940
ISSN0302-9743

Keywords

  • Cyber-Physical Systems
  • Broadcast communication
  • Denial-of-Service
  • Process calculus
  • Security protocol verification

Fingerprint

Dive into the research topics of 'Broadcast, Denial-of-Service, and Secure Communication'. Together they form a unique fingerprint.

Cite this