@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",
}