Mahdi Aiash, Jonathan Loo. A Formally Verified Access Control Mechanism for Information Centric Networks. In Mohammad S. Obaidat, Pascal Lorenz, Pierangela Samarati, editors, SECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography, Colmar, Alsace, France, 20-22 July, 2015. pages 377-383, SciTePress, 2015. [doi]
Abstract is missing.