共 33 条
[1]
[Anonymous], 2005, 7 OASIS
[3]
Ashley Paul., 2002, PROCEEDING ACM WORKS, P103, DOI DOI 10.1145/644527.644538
[5]
Bertino Elisa., 2005, SACMAT 05, P29
[6]
Bhatti R., 2005, ACM Transactions on Information and Systems Security, V8, P388, DOI 10.1145/1108906.1108909
[9]
Bowen J. P., 2001, Z FORMAL SPECIFICATI