在泛在网络环境下, 隐蔽通道通过修改系统共享资源, 绕开系统的安全策略传输隐蔽信息,
给计算机和网络系统造成了严重的安全威胁. 针对此问题, 主要从度量, 构建和检测3 …

Several information flow security definitions, proposed in the literature, are generalized and
adapted to the model of labelled transition systems. This very general model has been …

We present ERODE, a multi-platform tool for the solution and exact reduction of systems of
ordinary differential equations (ODEs). ERODE supports two recently introduced …

Opacity is a general language-theoretic framework in which several security properties of a
system can be expressed. Its parameters are a predicate, given as a subset of runs of the …

In contrast with the existing approaches to exact bisimulation for fuzzy systems, we introduce
a robust notion of behavioral distance to measure the behavioral similarity of …

We study information flow security in the setting of mobile agents. We propose a sufficient
condition to security named Persistent_BNDC. A process is Persistent_BNDC when every of …

We consider the problem of defining an appropriate notion of non-interference (NI) for
deterministic interactive programs. Previous work on the security of interactive programs by …

In probabilistic process algebras the classic qualitative description of process behaviour is
enriched with quantitative information on it, usually modelled in terms of probabilistic …

We propose an extension of the Applied Pi–calculus by introducing nondeterministic and
probabilistic choice operators. The semantics of the resulting model, in which probability and …

Bisimulation metrics provide a robust and accurate approach to study the behavior of
nondeterministic probabilistic processes. In this paper, we propose a logical characterization …