Author:
Bodei Chiara,Degano Pierpaolo,Focardi Riccardo,Priami Corrado
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. M. Abadi, Secrecy by typing in security protocols, J. ACM 5(46) (1999) 18–36. An abstract appeared in Proc. TACS 1997, Springer, Berlin, 1997.
2. M. Abadi, C. Fournet, G. Gonthier, Secure implementation of channel abstractions, Proc. 13th Annu. IEEE Symp. Logic in Computer Science, 1998, pp. 105–116.
3. A calculus for cryptographic protocols: the spi calculus;Abadi;Inform. and Comput.,1999
4. G. Berry, L. Cosserat, The synchronous programming language ESTEREL and its mathematical semantics, in: Proc. of the Seminar on Concurrency, Lecture Notes in Computer Science, Vol. 197, Springer, Berlin, 1984.
5. C. Bodei, Security issues in process calculi, Ph.D. Thesis, Dipartimento di Informatica, Università di Pisa, TD-2/00, March, 2000.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Analysis by Abstract Interpretation;Formal Analysis by Abstract Interpretation;2021-12-14
2. D_PSNI: Delimited persistent stochastic non-interference;Theoretical Computer Science;2021-09
3. Symbolic Models for Isolated Execution Environments;2017 IEEE European Symposium on Security and Privacy (EuroS&P);2017-04
4. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015
5. Integrating Identity-Based Encryption in the Return Routability Protocol to Enhance Signal Security in Mobile IPv6;Wireless Personal Communications;2011-12-17