Author:
Johansen Christian,Jøsang Audun
Publisher
Springer International Publishing
Reference39 articles.
1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Hankin, C., Schmidt, D. (eds.) POPL, pp. 104–115. ACM (2001)
2. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the spi calculus. Inf. Comput. 148(1), 1–70 (1999)
3. IFIP Advances in Information and Communication Technology;G Bella,2012
4. Bevan, N.: International standards for HCI and usability. Int. J. Hum. Comput. Stud. 55(4), 533–552 (2001)
5. Billingsley, P.: Statistical Inference for Markov Processes. The University of Chicago Press, Chicago (1961)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献