参数随机离散事件系统中用于增强不透明性的参数与插入函数协同综合
密码学与安全
2018-02-15 v1
摘要
不透明性是一种刻画系统能力的性质，用以使其“秘密”不被部分观测系统行为的入侵者推断出来。本文关注在参数随机离散事件系统中使用插入函数增强不透明性的同时，强制执行任务规范。我们首先获得编码所有可能插入的参数化马尔可夫决策过程。基于此，我们将该参数与插入函数协同综合问题转化为一个非线性规划。我们证明若该规划的输出满足所有约束，则其将是我们问题的一个有效解。因此，安全性与强制执行任务规范的能力可同时得到保证。
引用
@article{arxiv.1802.04836,
title = {Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems},
author = {Bo Wu and Zhiyu Liu and Hai Lin},
journal= {arXiv preprint arXiv:1802.04836},
year = {2018}
}