"Modeling and Verifying NDN Access Control Using CSP."

Yuan Fei, Huibiao Zhu (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics