BAO Yi-Bao
Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China; Institute of Electronic Technology, Information Engineering University of PLA, Zhengzhou 450004, China; Graduate University, The Chinese Academy of Sciences, BeijinYIN Li-Hua
Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, ChinaFANG Bin-Xing
Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, ChinaGUO Li
Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China包义保,殷丽华,方滨兴,郭莉.基于良基语义的安全策略表达与验证方法.软件学报,2012,23(4):912-927
Copy