Author:
Yu Mingjie,Li Fenghua,Yu Nenghai,Wang Xiao,Guo Yunchuan
Funder
Key Technology Research and Development Program of Shandong
National Natural Science Foundation of China
Subject
Computer Networks and Communications,Hardware and Architecture
Reference21 articles.
1. Plankton: scalable network configuration verification through model checking;Prabhu,2020
2. Parallel theorem proving;Hanna;Syst. Comput. Jpn.,1994
3. Discovery and resolution of anomalies in web access control policies;Hu;IEEE Trans. Dependable Secure Comput.,2013
4. Real-time verification of network properties using atomic predicates;Yang;IEEE/ACM Trans. Netw.,2015
5. Verification and change-impact analysis of access-control policies;Fisler,2005