1. Internet of things: a survey on enabling technologies, protocols, and applications;Al-Fuqaha;IEEE Communications Surveys & Tutorials,2015
2. xdauth: a scalable and lightweight framework for cross domain access control and delegation;Alam,2011
3. Towards a formal framework for cross domain access control;Alam;International Information Institute (Tokyo). Information,2012
4. The Chinese wall security policy;Brewer,1989
5. Weak second-order arithmetic and finite automata;Bchi;Math. Log. Q.,1960