Team Automata for Security Analysis

Maurice H. ter Beek; Gabriele Lenzini; Marinella Petrocchi

Team Automata for Security Analysis

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi

Research output: Book/Report › Report › Other research output

23 Downloads (Pure)

Abstract

We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	10
Publication status	Published - Feb 2004

Publication series

Name	CTIT technical report series
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)
No.	TR-CTIT-04-13

Keywords

IR-57003
EWI-5791

Access to Document

000000f1
open

Cite this

@book{f5efec1237cb4e4f8a0b2c71e6bd48cd,

title = "Team Automata for Security Analysis",

abstract = "We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.",

keywords = "IR-57003, EWI-5791",

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

note = "Imported from CTIT",

year = "2004",

month = feb,

language = "Undefined",

series = "CTIT technical report series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTIT-04-13",

address = "Netherlands",

}

TY - BOOK

T1 - Team Automata for Security Analysis

AU - ter Beek, Maurice H.

AU - Lenzini, Gabriele

AU - Petrocchi, Marinella

N1 - Imported from CTIT

PY - 2004/2

Y1 - 2004/2

N2 - We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.

AB - We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.

KW - IR-57003

KW - EWI-5791

M3 - Report

T3 - CTIT technical report series

BT - Team Automata for Security Analysis

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -