A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis

Abstract : We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from traces of high (unobservable) events to low (observable) events: the less the degree of dependency of low events on high traces, the more secure the system. We take the abstract view that low events are drawn from a generic semiring, where they can be combined using product and sum operations; throughout the paper, we provide instances of this framework, obtained by concrete instantiations of the underlying semiring. We specify systems via a simple process calculus, whose semantics is given as the unique homomorphism from the calculus into the set of behaviours, i.e. formal power series, seen as a final coalgebra. We provide a compositional semantics for the calculus in terms of rational operators on formal power series and show that the final and the compositional semantics coincide.
Type de document :
Communication dans un congrès
Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.340-354, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_25〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054448
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 août 2014 - 16:24:51
Dernière modification le : jeudi 19 avril 2018 - 14:24:03
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 00:56:51

Fichier

03230340.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Michele Boreale, David Clark, Daniele Gorla. A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.340-354, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_25〉. 〈hal-01054448〉

Partager

Métriques

Consultations de la notice

86

Téléchargements de fichiers

63