Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference31 articles.
1. Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving secrecy under refinement. In Proceedings of the 33rd international colloquium on automata, languages and programming (pp. 107–118).
2. Concurrent secrets;Badouel;Discrete Event Dynamic Systems,2007
3. Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation;Ben Hadj-Alouane;Discrete Event Dynamic Systems: Theory and Applications,1996
4. Formulas for calculating supremal controllable and normal sublanguages;Brandt;Systems & Control Letters,1991
5. Opacity generalised to transition systems;Bryans;International Journal of Information Security,2007
Cited by
180 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献