Journal
INTERNATIONAL JOURNAL OF INFORMATION SECURITY
Volume 7, Issue 6, Pages 421-435Publisher
SPRINGER
DOI: 10.1007/s10207-008-0058-x
Keywords
Opacity; Non-deducibility; Anonymity; Petri nets; Observable behaviour; Labelled transition systems; Abstract interpretation
Categories
Funding
- EPSRC DIRC, GOLD and SCREEN projects
- RNTL project [PROUVE-03V360]
- NSFC project [60433010]
- ACI project ROSSIGNOL
- DSTL
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available