Publisher
Springer International Publishing
Reference40 articles.
1. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181–185 (1985).
https://doi.org/10.1016/0020-0190(85)90056-0
2. Athalye, A., Engstrom, L., Ilyas, A., Kwok, K.: Synthesizing robust adversarial examples. In: Proceedings of the ICML, pp. 284–293 (2018)
3. Balliu, M., Dam, M., Guernic, G.L.: Epistemic temporal logic for information flow security. In: Proceedings of PLAS, p. 6 (2011).
https://doi.org/10.1145/2166956.2166962
4. European Studies in Philosophy of Science;G Bana,2017
5. Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18–36 (1990).
https://doi.org/10.1145/77648.77649
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献