Author:
Benerecetti M.,Panti M.,Spalazzi L.,Tacconi S.
Publisher
Springer International Publishing
Reference19 articles.
1. M. Abadi and M. Tuttle. A semantics for a logic of authentication. In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, pages 201–216, 1991.
2. M. Bellare, J. A. Garay, R. Hauser, A. Herzberg, H. Krawczyk, M. Steiner, G. Tsudik, and M. Waidner. iKP-a family of secure electronic payment protocols. In Proc. of the First USENIX Workshop of Electronic Commerce, Berkeley, CA, USA, 1995. USENIX Assoc.
3. M. Benerecetti and A. Cimatti. Symbolic Model Checking for Multi-Agent Systems. In CLIMA-2001, Workshop on Computational Logic in Multi-Agent Systems, Paphos, Cyprus, December 1st 2001. Co-located with ICLP’01.
4. M. Benerecetti and F. Giunchiglia. Model checking security protocols using a logic of belief. In Proc. of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), Berlin, Germany, March 27th-April 1st 2000.
5. M. Benerecetti, F. Giunchiglia, M. Panti, and L. Spalazzi. A Logic of Belief and a Model Checking Algorithm for Security Protocols. In Proc. of IFIP TC6/WG6.1 International Conference FORTE/PSTV 2000, Dordrecht, The Netherlands, 2000. Kluwer Academic Publisher.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献