共 38 条
[1]
Al-Mahmud Abdullah, 2012, INT J COMPUTER APPL, V46, P10
[2]
Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281
[3]
Bala S., 2013, INT J SECUR ITS APPL
[4]
Balasch Josep, 2012, Smart Card Research and Advanced Applications. 11th International Conference (CARDIS 2012). Revised Selected Papers, P158, DOI 10.1007/978-3-642-37288-9_11
[5]
Basin D., 2014, HDB MODEL CHECKING
[6]
Blanchet B, 2004, P IEEE S SECUR PRIV, P86
[8]
BLOM R, 1985, LECT NOTES COMPUT SC, V209, P335
[9]
Cazorla M, 2013, PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY (SECRYPT 2013), P543
[10]
Chan HW, 2005, IEEE INFOCOM SER, P524