Automated Analysis of Infinite Scenarios

The security of a network protocol crucially relies on the scenario in which the protocol is deployed. This paper describes syntactic constructs for modelling network scenarios and presents an automated analysis tool, which can guarantee that security properties hold in all of the (infinitely many)...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Buchholtz, Mikael
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Automate Analysis Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Memory and file management (including protection and security) Memory organisation. Data processing Parallel Composition Security Property Security Protocol Software Static Authentication
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!