Publisher
Springer International Publishing
Reference48 articles.
1. Abadi, M.: Access control in a core calculus of dependency. Electr. Notes Theor. Comput. Sci 172, 5–31 (2007)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Abadi,2008
3. Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. Inf. Comput. 174(1), 37–83 (2002)
4. Alexander, A.: Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World. Oneworld Publications, London (2014)
5. Andrews, P.B.: Accept diversity, August 1994.
http://mizar.org/qed/mail-archive/volume-2/0199.html
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Web Attack Detection Using Machine Learning;Lecture Notes in Electrical Engineering;2022