带有委托功能的UCONpreA模型安全性分析及DBRM0表达

叶春晓余一丰

Safety analysis for UCONpreA model with delegation feature and expression for DBRM0

YE Chun-xiao YU Yi-feng

计算机应用 . 2012, (12): 3426 -3429 . DOI: 10.3724/SP.J.1087.2012.03426