Leakiness is Decidable for Well-Founded Protocols - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Leakiness is Decidable for Well-Founded Protocols

Leakiness is Decidable for Well-Founded Protocols

Export

All authors

Fröschle, Sibylle

Booktitle

Principles of Security and Trust (POST'15)

Publishing date

2015

Type of Publication

inproceedings

Publisher

Springer-Verlag

Series

LNCS

Pages

176-196

Projects

CSE
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems

Edition

9036

Privacy Data Transparency Contact Legals