一种基于TE技术实现Clark-Wilson模型的方法
何建波, 郭新, 卿斯汉,
An Approach to Enforcing Clark-Wilson Model Based on Type Enforcement
HE Jian-bo, GUO Xin, QING Si-Han,
电子学报 . 2008, (2): 216 -223 .