Login / Signup

A Formally Verified Access Control Mechanism for Information Centric Networks.

Mahdi AiashJonathan Loo
Published in: SECRYPT (2015)
Keyphrases
  • access control
  • information flow