Author:
Yin Xiang,Li Zhaojian,Wang Weilin,Li Shaoyuan
Funder
National Natural Science Foundation of China
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference36 articles.
1. Concurrent secrets;Badouel;Discrete Event Dynamic Systems,2007
2. Probabilistic opacity for Markov decision processes;Bérard;Information Processing Letters,2015
3. Quantifying opacity;Bérard;Mathematical Structures in Computer Science,2015
4. On the verification of opacity in web services and their composition;Bourouis;IEEE Transactions on Services Computing,2017
5. Opacity generalised to transition systems;Bryans;International Journal of Information Security,2008
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献