共 19 条
[1]
AlgoSec, 2014, ALG SURV STAT NETW S
[2]
[Anonymous], 2015, J INTERNET SERVICES
[3]
Ben Salem M, 2009, TECHNICAL REPORT CUC
[4]
Bjorner N, 2009, 6 INT WORKSH CONSTR
[5]
Satisfiability Modulo Theories: An Appetizer
[J].
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS,
2009, 5902
:23-36
[6]
Ghourabi Abdallah, 2009, 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009), P127, DOI 10.1109/CRISIS.2009.5411968
[7]
Greitzer F. L., 2012, 2012 45th Hawaii International Conference on System Sciences (HICSS), P2392, DOI 10.1109/HICSS.2012.309
[8]
Greitzer FL, 2010, ADV INFORM SECUR, V49, P85, DOI 10.1007/978-1-4419-7133-3_5
[9]
Hu Vincent, 2014, GUIDE ATTRIBUTE BASE
[10]
Hunker J., 2008, Journal of Wireless Mobile Networks, V2, P4