共 24 条
[1]
[Anonymous], 2003, P NETW DISTR SYST SE
[3]
Barringer H, 2004, LECT NOTES COMPUT SC, V2937, P44
[5]
Blech J.O., 2012, Proceedings of the 10th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering (SEFM), P494, DOI DOI 10.1007/978-3-642-34281-3_34
[9]
Fong PWL, 2004, P IEEE S SECUR PRIV, P43