Author:
Ben-Kalefa Majed,Lin Feng
Subject
Artificial Intelligence,Information Systems,Software
Reference19 articles.
1. Concurrent Secrets
2. Ben-Kalefa, M., and F. Lin. 2009. Opaque superlanguages and sublanguages in discrete event systems. InProceedings of the 48th IEEE Conference on Decision and Control,199–204. IEEE.
3. Bryans, J. W., M. Koutny, L. Mazare, and P. Y. A. Ryan. 2006. Opacity generalized to transition systems.FAST 2005, LNCS2860, 81–95.
4. Modelling Opacity Using Petri Nets
5. Chaum, D. 1988. The dining cryptographers problem: Unconditional sender and recipient untraceability.Journal of Cryptology1:65–75.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献