1. Jacobson, V., Smetters, D.K., Thornton, J.D., Plass, M.F., Briggs, N.H., Braynard, R.L. Networking named content. In: Proceedings of the 5th International Conference on Emerging Networking Experiments and Technologies; CoNEXT “09. New York, NY, USA: ACM. ISBN 978-1-60558-636-6; 2009, p. 1-12. doi:10.1145/1658939.1658941.
2. Goergen, D., Cholez, T., Franc¸ois, J., Engel, T. Security monitoring for content-centric networking. In: Pietro, R.D., Herranz, J., Damiani, E., State, R., editors. DPM/SETOP; vol. 7731 of Lecture Notes in Computer Science. Springer. ISBN 978-3-642-35889-0; 978-3-642-35890-6; 2012, p. 274-286.
3. ICP: Design and evaluation of an interest control protocol for content-centric networking;Carofiglio;INFOCOM Workshops IEEE,2012
4. Wang, A., Loo, B.T., Liu, C., Sokolsky, O., Basu, P. A theorem proving approach towards declarative networking. In: 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009). 2009.
5. Formal verification of standards for distance vector routing protocols;Bhargavan Obradovic;Journal of the ACM,2002