Items where Author is "Mahdi, Aiash"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Mahdi, Aiash and Loo, Jonathan 
ORCID: https://orcid.org/0000-0002-2197-8126
(2015)
A formally verified access control mechanism for information centric networks.
In: 12th International Conference on Security and Cryptography (SECRYPT 2015), 20-22 July 2015, Colmar, France.
