Team Automata for Security Analysis of Multicast/Broadcast Communication

Maurice ter Beek; Gabriele Lenzini; Marinella Petrocchi

Team Automata for Security Analysis of Multicast/Broadcast Communication

Maurice ter Beek, Gabriele Lenzini, Marinella Petrocchi

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

21 Downloads (Pure)

Abstract

We show that team automata (TeA) are well suited to model secure multicast/broadcast communication with possible packet loss. This is a consequence of the natural way in which one-to-many (one-to-all) transmissions typical of multicast (broadcast) sessions can be modelled as communications between the component automata (CA) constituting a TeA. To this aim, we use TeA to model an instance of the EMSS multicast protocol family. In addition we investigate a formulation of the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TeA with the aim to embed TeA in this well-established analysis framework. We intend to use this new setting for the formal verification of security properties for stream signature protocols.

Original language	Undefined
Title of host publication	ATPN Workshop on Issues in Security and Petri Nets (WISP)
Editors	N. Busi, R. Gorrieri, F. Martinelli
Place of Publication	Eindhoven, The Netherlands
Publisher	BETA Research School for Operations Management and Logistics
Pages	57-62
Number of pages	6
ISBN (Print)	not assigned
Publication status	Published - Jun 2003
Event	ATPN Workshop on Issues in Security and Petri Nets (WISP) - Eindhoven, The Netherlands Duration: 23 Jun 2003 → 23 Jun 2003

Publication series

Name
Publisher	Beta-Research School for Operation Management and Logics

Workshop

Workshop	ATPN Workshop on Issues in Security and Petri Nets (WISP)
Period	23/06/03 → 23/06/03
Other	23 June 2003

Keywords

EWI-846
IR-46130
METIS-214097

Access to Document

Cite this

@inproceedings{77d27377b5624e6a9af9ca15db539262,

title = "Team Automata for Security Analysis of Multicast/Broadcast Communication",

abstract = "We show that team automata (TeA) are well suited to model secure multicast/broadcast communication with possible packet loss. This is a consequence of the natural way in which one-to-many (one-to-all) transmissions typical of multicast (broadcast) sessions can be modelled as communications between the component automata (CA) constituting a TeA. To this aim, we use TeA to model an instance of the EMSS multicast protocol family. In addition we investigate a formulation of the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TeA with the aim to embed TeA in this well-established analysis framework. We intend to use this new setting for the formal verification of security properties for stream signature protocols.",

keywords = "EWI-846, IR-46130, METIS-214097",

author = "{ter Beek}, Maurice and Gabriele Lenzini and Marinella Petrocchi",

note = "Imported from DIES; null ; Conference date: 23-06-2003 Through 23-06-2003",

year = "2003",

month = jun,

language = "Undefined",

isbn = "not assigned",

publisher = "BETA Research School for Operations Management and Logistics",

pages = "57--62",

editor = "N. Busi and R. Gorrieri and F. Martinelli",

booktitle = "ATPN Workshop on Issues in Security and Petri Nets (WISP)",

}

ter Beek, M, Lenzini, G & Petrocchi, M 2003, Team Automata for Security Analysis of Multicast/Broadcast Communication. in N Busi, R Gorrieri & F Martinelli (eds), ATPN Workshop on Issues in Security and Petri Nets (WISP). BETA Research School for Operations Management and Logistics, Eindhoven, The Netherlands, pp. 57-62, ATPN Workshop on Issues in Security and Petri Nets (WISP), 23/06/03.

Team Automata for Security Analysis of Multicast/Broadcast Communication. / ter Beek, Maurice; Lenzini, Gabriele; Petrocchi, Marinella.

ATPN Workshop on Issues in Security and Petri Nets (WISP). ed. / N. Busi; R. Gorrieri; F. Martinelli. Eindhoven, The Netherlands : BETA Research School for Operations Management and Logistics, 2003. p. 57-62.

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

TY - GEN

T1 - Team Automata for Security Analysis of Multicast/Broadcast Communication

AU - ter Beek, Maurice

AU - Lenzini, Gabriele

AU - Petrocchi, Marinella

N1 - Imported from DIES

PY - 2003/6

Y1 - 2003/6

N2 - We show that team automata (TeA) are well suited to model secure multicast/broadcast communication with possible packet loss. This is a consequence of the natural way in which one-to-many (one-to-all) transmissions typical of multicast (broadcast) sessions can be modelled as communications between the component automata (CA) constituting a TeA. To this aim, we use TeA to model an instance of the EMSS multicast protocol family. In addition we investigate a formulation of the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TeA with the aim to embed TeA in this well-established analysis framework. We intend to use this new setting for the formal verification of security properties for stream signature protocols.

AB - We show that team automata (TeA) are well suited to model secure multicast/broadcast communication with possible packet loss. This is a consequence of the natural way in which one-to-many (one-to-all) transmissions typical of multicast (broadcast) sessions can be modelled as communications between the component automata (CA) constituting a TeA. To this aim, we use TeA to model an instance of the EMSS multicast protocol family. In addition we investigate a formulation of the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TeA with the aim to embed TeA in this well-established analysis framework. We intend to use this new setting for the formal verification of security properties for stream signature protocols.

KW - EWI-846

KW - IR-46130

KW - METIS-214097

M3 - Conference contribution

SN - not assigned

SP - 57

EP - 62

BT - ATPN Workshop on Issues in Security and Petri Nets (WISP)

A2 - Busi, N.

A2 - Gorrieri, R.

A2 - Martinelli, F.

PB - BETA Research School for Operations Management and Logistics

CY - Eindhoven, The Netherlands

Y2 - 23 June 2003 through 23 June 2003

ER -