Information Flow Testing

被引：4

作者：

Gruska, Damas P. ^{[1
]}

机构：

[1] Comenius Univ, Inst Informat, Bratislava 84248, Slovakia

来源：

FUNDAMENTA INFORMATICAE | 2013年 / 128卷 / 1-2期

关键词：

probabilistic process algebras; information flow; security;

D O I：

10.3233/FI-2013-934

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Process testing as a way to obtain information on confidential data is investigated. Our working formalism is based on an appropriate (probabilistic) process algebra and (probabilistic) testing. We define testing noninterference as well as sets of private actions which execution is guaranteed by a given test and sets of actions which execution could be excluded by a given test. Moreover, we relate obtained information to a size of the test.

引用

页码：81 / 95

页数：15