A Formally Verified Access Control Mechanism for Information Centric Networks.

Mahdi Aiash, Jonathan Loo

Browse the full SECRYPT paper archive.