Author:
Goré Rajeev Prabhakar,Nguyên Phuong Thê
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8:18–36, 1990.
2. N. Bonnette and R. Goré. A labelled sequent system for tense logic Kt. In AI98: Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI 1502:71–82. Springer, 1998.
3. Synthese Library;M. Fitting,1983
4. Pierre Girard. Which security policy for multiapplication smart cards. In Proceedings USENIX Workshop on Smartcard Technology, pages 21–28, Chicago, USA, 1999.
5. CSLI Lecture Notes;R. I. Goldblatt,1987