2014 IEEE 15th International Symposium on High-Assurance Systems Engineering High-Assurance Systems Engineering (HASE), 2014 IEEE 15th International Symposium on. :176-183 Jan, 2014
8th International Conference for Internet Technology and Secured Transactions (ICITST-2013) Internet Technology and Secured Transactions (ICITST), 2013 8th International Conference for. :484-489 Dec, 2013