Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems

Crypto-CCS is a formal description language for distributed protocols which is suitable to abstractly model the cryptographic ones. Indeed, this language adopts a message-manipulating rule which may be used to mimic some features of cryptographic functions. We equip the Crypto-CCS calculus with a sy...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Martinelli, Fabio
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Cryptography Exact sciences and technology Inference System Information, signal and communications theory Normal Form Process Algebra Security Property Security Protocol Signal and communications theory Telecommunications and information theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!