支持冲突检测的P3P形式化语义研究

支持冲突检测的P3P形式化语义研究

孙艺，黄志球，沈国华，柯昌博

Research on P3P Formal Semantics Supporting Conflict Detection

SUN Yi, HUANG Zhiqiu, SHEN Guohua, KE Changbo

计算机科学与探索 . 2013, (10): 905 -915 . DOI: 10.3778/j.issn.1673-9418.1305032