Probabilistic Information Flow Security

被引：0

作者：

Gruska, Damas P. ^{[1
]}

机构：

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

来源：

FUNDAMENTA INFORMATICAE | 2008年 / 85卷 / 1-4期

关键词：

probabilistic timed process algebras; timing attacks; information flow; opacity; security;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A formal model for description of probabilistic timing attacks is presented and studied. It is based on a probabilistic timed process on observations (mappings which make visible only a part of system behavior) and on an information flow. The resulting, security properties are Studied and compared with other security concepts.

引用

页码：173 / 187

页数：15