Opacity generalised to transition systems
| Autor: | Maciej Koutny, Peter Y. A. Ryan, Laurent Mazaré, Jeremy Bryans |
|---|---|
| Rok vydání: | 2008 |
| Předmět: |
Theoretical computer science
Opacity Computer Networks and Communications Computer science media_common.quotation_subject Context (language use) Petri net Abstract interpretation Simple (abstract algebra) Voting Information flow (information theory) Safety Risk Reliability and Quality Algorithm Software ComputingMethodologies_COMPUTERGRAPHICS Information Systems media_common Anonymity |
| Zdroj: | International Journal of Information Security. 7:421-435 |
| ISSN: | 1615-5270 1615-5262 |
| DOI: | 10.1007/s10207-008-0058-x |
| Popis: | Recently, opacity has proved a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow. In particular, we establish links between opacity and the information flow concepts of anonymity and non-inference. We also investigate ways of verifying opacity when working with Petri nets. Our work is illustrated by two examples, one describing anonymity in a commercial context, and the other modelling requirements upon a simple voting system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|