期刊
INTERNATIONAL JOURNAL OF INFORMATION SECURITY
卷 7, 期 6, 页码 421-435出版社
SPRINGER
DOI: 10.1007/s10207-008-0058-x
关键词
Opacity; Non-deducibility; Anonymity; Petri nets; Observable behaviour; Labelled transition systems; Abstract interpretation
类别
资金
- EPSRC DIRC, GOLD and SCREEN projects
- RNTL project [PROUVE-03V360]
- NSFC project [60433010]
- ACI project ROSSIGNOL
- DSTL
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据