Broadcast, Denial-of-Service, and Secure Communication

Roberto Vigo; Flemming Nielson; Hanne Riis Nielson

doi:10.1007/978-3-642-38613-8_28

Broadcast, Denial-of-Service, and Secure Communication

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Publisher	Springer
Publication date	2013
Pages	412-427
ISBN (Print)	978-3-642-38612-1
ISBN (Electronic)	978-3-642-38613-8
DOIs	https://doi.org/10.1007/978-3-642-38613-8_28
Publication status	Published - 2013
Event	10th International Conference on integrated Formal Methods (iFM 2013) - Turku, Finland Duration: 10 Jun 2013 → 14 Jun 2013 http://www.it.abo.fi/iFM2013/

Conference

Conference	10th International Conference on integrated Formal Methods (iFM 2013)
Country/Territory	Finland
City	Turku
Period	10/06/2013 → 14/06/2013
Internet address	http://www.it.abo.fi/iFM2013/

Series	Lecture Notes in Computer Science
Volume	7940
ISSN	0302-9743

Keywords

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

Access to Document

10.1007/978-3-642-38613-8_28

OpenUrl availability

Full text

Cite this

@inproceedings{a165845337ff4cd4b56d0ab0113c4b7d,

title = "Broadcast, Denial-of-Service, and Secure Communication",

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.",

keywords = "Cyber-Physical Systems, Broadcast communication, Denial-of-Service, Process calculus, Security protocol verification",

author = "Roberto Vigo and Flemming Nielson and Nielson, {Hanne Riis}",

year = "2013",

doi = "10.1007/978-3-642-38613-8_28",

language = "English",

isbn = "978-3-642-38612-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "412--427",

booktitle = "Integrated Formal Methods",

note = "10th International Conference on integrated Formal Methods (iFM 2013) ; Conference date: 10-06-2013 Through 14-06-2013",

url = "http://www.it.abo.fi/iFM2013/",

}

Vigo, R, Nielson, F & Nielson, HR 2013, Broadcast, Denial-of-Service, and Secure Communication. in Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer, Lecture Notes in Computer Science, vol. 7940, pp. 412-427, 10th International Conference on integrated Formal Methods (iFM 2013), Turku, Finland, 10/06/2013. https://doi.org/10.1007/978-3-642-38613-8_28

Broadcast, Denial-of-Service, and Secure Communication. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer, 2013. p. 412-427 (Lecture Notes in Computer Science, Vol. 7940).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Broadcast, Denial-of-Service, and Secure Communication

AU - Vigo, Roberto

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - Cyber-Physical Systems

KW - Broadcast communication

KW - Denial-of-Service

KW - Process calculus

KW - Security protocol verification

U2 - 10.1007/978-3-642-38613-8_28

DO - 10.1007/978-3-642-38613-8_28

M3 - Article in proceedings

SN - 978-3-642-38612-1

T3 - Lecture Notes in Computer Science

SP - 412

EP - 427

BT - Integrated Formal Methods

PB - Springer

T2 - 10th International Conference on integrated Formal Methods (iFM 2013)

Y2 - 10 June 2013 through 14 June 2013

ER -

Broadcast, Denial-of-Service, and Secure Communication

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this