GUO Yun-chuan1, ZHOU Yuan3, DING Li3, et al. Simulation analysis of probabilistic covert channels based on probabilistic interference[J]. 2009, 30(2): 59-64.DOI:
基于概率干扰的概率隐蔽通道仿真研究
摘要
讨论了影响概率隐蔽通道带宽和传输错误率的因素
对不满足BSPNI(bi-simulation strong probabilistic non-interference)、PBNDC(probabilistic non-deducibility on composition)和SPBNDC(strong probabilistic BNDC)性质的系统概率隐蔽通道进行了仿真
仿真结果表明
概率隐蔽通道的带宽与硬/软件配置、概率调度因子和调度次数有密切关系
当硬/软件配置和概率调度因子固定时
概率隐蔽通道的带宽近似地反比于调度次数;传输错误率与概率调度因子和调度次数关系密切
调度次数越大
传输错误率越小。
Abstract
Bandwidth and transmission error rate has received much attention in fields of covert channels.If a system does not satisfy BSPNI
PBNDC or SPBNDC property
then probabilistic covert channels will be formed.A simulation system was built to analyze their bandwidth and transmission error rate about covert channels.For every results of simulation
detail theoretical explanations were given.The results show the bandwidth is closely related to software/hardware configuration
probability pa-rameter and scheduling times
when configurations and probability parameter are fixed
the bandwidth is inversely propor-tional to scheduling times.For the same process