共 22 条
- [11] Foley Simon N., 2012, Formal Aspects of Security and Trust. 8th International Workshop, FAST 2011. Revised Selected Papers, P100, DOI 10.1007/978-3-642-29420-4_7
- [12] Foley S. N., 2011, P 8 INT C FORM ASP S, P100
- [15] McGuinness Deborah L, 2004, W3C RECOMM, V10, P10
- [16] O'Connor M.J., 2009, OWLED
- [17] Priebe T., 2006, AV REL SEC 2006 ARES, P8
- [18] Rivest R. L., 1996, SDSI-A Simple Distributed Security Infrastructure
- [19] Debugging incoherent terminologies [J]. JOURNAL OF AUTOMATED REASONING, 2007, 39 (03) : 317 - 349