Funder
National Natural Science Foundation of China
China Scholarship Council (CSC) Foundation
13th Five-Year Plan Equipment Pre-Research Projects Fund
Aviation Science Fund
Subject
Law,General Computer Science
Reference65 articles.
1. Intersection automata based model for android application collusion;Abbas,2016
2. Abrial J.R., From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. 2013. 1–15.
3. Safety of ABACα is decidable;Ahmed,2017
4. Reconstructing a formal security model;Ahn;Inf. Softw. Technol.,2002
5. Heuristic safety analysis of access control models;Amthor,2013
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献