Items where Author is "Ma, X"

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 45.

Journal article

Aljeaid, D, Ma, X ORCID: 0000-0003-0074-4192 and Langensiepen, C ORCID: 0000-0002-0165-9048, 2015. Analysis of security protocols using finite-state machines. International Journal of Advanced Research in Artificial Intelligence (IJARAI), 4 (4), pp. 46-53. ISSN 2165-4069

Jiang, H, Zhao, D, Zheng, R and Ma, X ORCID: 0000-0003-0074-4192, 2015. Construction of Pancreatic Cancer Classifier Based on SVM Optimized by Improved FOA. BioMed Research International, 2015, p. 781023. ISSN 2314-6133

Salih, A, Ma, X ORCID: 0000-0003-0074-4192 and Peytchev, E ORCID: 0000-0001-5256-4383, 2015. New intelligent heuristic algorithm to mitigate security vulnerabilities in IPv6. IJIS International Journal on Information Security, 4.

Aljeaid, D, Ma, X ORCID: 0000-0003-0074-4192 and Langensiepen, C ORCID: 0000-0002-0165-9048, 2014. Modelling and simulation of a biometric identity-based cryptography. International Journal of Advanced Research in Artificial Intelligence (IJARAI), pp. 35-44.

Alabdulatif, A and Ma, X ORCID: 0000-0003-0074-4192, 2013. Analysing the EAP-TLS handshake and the 4-way handshake of the 802.11i standard. International Journal for Information Security Research (IJISR), 3 (34), pp. 439-448. ISSN 2042-4639

Ma, X ORCID: 0000-0003-0074-4192, 2013. A framework for proving the correctness of cryptographic protocol properties by linear temporal logic. International Journal of Digital Society (IJDS), 41 (12), pp. 749-757. ISSN 2040-2570

Wang, X, He, F, Ma, X, Mao, C, Hodgman, C, Lu, C ORCID: 0000-0002-0064-4725 and Wu, P, 2011. OsCAND1 Is Required for Crown Root Emergence in Rice. Molecular Plant, 4 (2), pp. 289-299. ISSN 1674-2052

Ma, X ORCID: 0000-0003-0074-4192, 2011. Database deductive access control. Journal of Computers, 6 (5), pp. 1024-1031. ISSN 1796-203X

Ma, X ORCID: 0000-0003-0074-4192, 2010. Resisting tracker attacks by query terms analysis. Key Engineering Materials, 450 (1), pp. 385-388. ISSN 1013-9826

Xia, S, Ma, X, Yu, L and Pan, G ORCID: 0000-0003-0920-3018, 2008. DFT study on chemical adsorption of Zn(II) on γ-MnOOH surfaces. Chemical Journal of Chinese Universities, 29 (9), pp. 1804-1809. ISSN 1005-9040

Ma, X ORCID: 0000-0003-0074-4192 and Cheng, X, 2008. Verifying security protocols by knowledge analysis. International Journal of Security and Networks, 3 (3), pp. 183-192.

Simpson, A, Power, D, Russell, D, Slaymaker, M, Mostefaoui, G, Ma, X ORCID: 0000-0003-0074-4192 and Wilson, G, 2008. A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries. Studies in Health Technology and Informatics, 138, pp. 3-12. ISSN 0926-9630

Ma, X ORCID: 0000-0003-0074-4192 and Cheng, X, 2005. Formal verification of merchant registration phase of SETProtocol. International Journal of Automation and Computing, 2005 (2), pp. 155-162.

Ma, X ORCID: 0000-0003-0074-4192 and Cheng, X, 2005. Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems, 2005 (1).

Cheng, X, He, X, Ma, X ORCID: 0000-0003-0074-4192, Zhou, D, Duan, P and Zhong, S, 2005. An agent based education resource purvey system. Lecture Notes in Computer Science, 3801, pp. 381-386. ISSN 0302-9743

Cheng, X, Ma, X ORCID: 0000-0003-0074-4192, Wang, L and Zhong, S, 2005. A mobile agent based spam filter system. Lecture Notes in Computer Science, 3801, pp. 422-427. ISSN 0302-9743

Ma, X ORCID: 0000-0003-0074-4192, Ye, Y and Sun, Y, 2004. An implementation of resource reservation schemein real-time operating system. Journal of the Graduate School of the Chinese Academy of Sciences, 21 (1), pp. 113-118.

Authored book

Ma, X ORCID: 0000-0003-0074-4192, 2004. Free software and open source movement. Kunming: Yunnan University Press.

Chapter in book

Salih, A, Ma, X ORCID: 0000-0003-0074-4192 and Peytchev, E ORCID: 0000-0001-5256-4383, 2017. Implementation of hybrid artificial intelligence technique to detect covert channels in new generation network protocol IPv6. In: Benlamri, R and Sparer, M, eds., Leadership, innovation and entrepreneurship as driving forces of the global economy: proceedings of the 2016 International Conference on Leadership, Innovation and Entrepreneurship (ICLIE). Springer proceedings in business and economics . Cham: Springer, pp. 173-190. ISBN 9783319434339

Alabdulatif, A, Ma, X ORCID: 0000-0003-0074-4192 and Nolle, L, 2013. Analysing and attacking the 4-way handshake of IEEE 802.11i standard. In: 8th International Conference for Internet Technology and Secured Transactions (ICITST), London, 9 December 2013. IEEE, pp. 382-387. ISBN 9781908320209

Ma, X ORCID: 0000-0003-0074-4192, 2010. Database deductive access control. In: Qui, R and Zhao, H, eds., Proceedings of 2010 WASE International Conference on Information Engineering. IEEE, pp. 121-124. ISBN 9780769540801

Ma, X ORCID: 0000-0003-0074-4192, Cheng, X, Huang, S and Cheng, M, 2008. Mechanical verification of cryptographic protocols. In: Huang, S, MacCallum, D and Du, DZ, eds., Network security. Springer.

Simpson, A, Power, D, Russell, D, Mostefaoui, GK, Slaymaker, M, Ma, X ORCID: 0000-0003-0074-4192 and Wilson, G, 2008. The development, testing, and deployment of a web services infrastructure for distributed healthcare delivery and research. In: Khan, KMD and Khan, K, eds., Managing web services quality: measuring outcomes and effectiveness. Idea Group.

Conference contribution

Salih, A, Ma, X ORCID: 0000-0003-0074-4192 and Peytchev, E ORCID: 0000-0001-5256-4383, 2015. Detection and classification of covert channels in IPv6 using enhanced machine learning. In: 2015 International Conference on Computer Technology and Information Systems (ICCTIS’ 2015), Dubai, United Arab Emirates, 13-15 August 2015.

Ma, X ORCID: 0000-0003-0074-4192, 2015. Managing identities in cloud computing environments. In: The Second International Conference on Information Science and Control Engineering, Shanghai, China, April 2015, Shanghai, China.

Aljeaid, D, Ma, X ORCID: 0000-0003-0074-4192 and Langensiepen, C ORCID: 0000-0002-0165-9048, 2015. A New Biometric ID-Based Cryptography Protocol and Security Analysis Using Petri Nets. In: 6th Annual International Conference on ICT: Big Data, Cloud and Security (ICT-BDCS 2016), Singapore, 27-28 July 2015.

Aljeaid, D, Ma, X ORCID: 0000-0003-0074-4192 and Langensiepen, C ORCID: 0000-0002-0165-9048, 2014. Biometric identity-based cryptography for e-Government environment. In: 2014 Science and Information Conference (SAI), London, 27-29 August 2014, London.

Ma, X ORCID: 0000-0003-0074-4192, 2012. Security concerns in cloud computing. In: The Fourth International Conference on Computational and Information Sciences, Chongqing, China, August 2012, Chongqing, China.

Alabdulatif, A, Ma, X ORCID: 0000-0003-0074-4192 and Nolle, L, 2012. A framework for cryptographic protocol analysis using linear temporal logic. In: International Conference on Information Society (i-Society 2012), London, June 2012, London.

Russell, D, Power, D, Slaymaker, M, Mostefaoui, GK, Ma, X ORCID: 0000-0003-0074-4192 and Simpson, A, 2009. On the secure sharing of legacy data. In: 6th International Conference onInformation Technology: New Generations (ITNG 2009), Las Vegas, Nevada, 27-29 April 2009, Las Vegas.

Simpson, A, Power, D, Russell, D, Slaymaker, M, Mostefaoui, GK, Ma, X ORCID: 0000-0003-0074-4192 and Wilson, G, 2008. A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries. In: Proceedings of HealthGrid 2008, Chicago.

Ma, X ORCID: 0000-0003-0074-4192 and Cheng, X, 2006. Syntax, semantics and type theory of a security protocol verification framework. In: IEEE SMC UK-RI Conference on Advances in Cybernetic Systems 2006, Sheffield, September 2006, Sheffield.

Ma, X ORCID: 0000-0003-0074-4192, McCrindle, R and Cheng, X, 2006. Verifying and fixing password authenticationprotocol. In: Proceedings of the 7th ACIS International Conference on Software Engineering, Artificial Intelligence, Network, and Parallel/Distributed Computing (SNPD 2006) and the 2nd ACIS International Workshop on Self-Assembling Wireless Networks (SAWN 2006), Las Vegas.

Ma, X ORCID: 0000-0003-0074-4192 and Cheng, X, 2005. Formal verification of merchant registration phase of SET protocol. In: Proceedings of the 11th Annual Conference of Chinese Automation and Computing Society in UK (CACSUK 2005), Sheffield.

Ma, X ORCID: 0000-0003-0074-4192, Cheng, X and McCrindle, R, 2005. Knowledge based approach for mechanical lyverifying security protocols. In: The Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, 30 July - 5 August 2005, Edinburgh.

Cheng, X, Ma, X ORCID: 0000-0003-0074-4192, Cheng, M and Huang, SCH, 2005. Proving secure properties of cryptographic protocols. In: 24th IEEE International Performance Computing and Communications Conference (IPCCC 2005), Phoenix, Arizona, 7-9 April 2005, Phoenix, Arizona.

Ma, X ORCID: 0000-0003-0074-4192, Cheng, X and McCrindle, R, 2005. Secrecy proofs of SET purchase request phase. In: Proceedings of the 2005 International Conference on Computational Intelligence and Security (CIS'05), Xi'an, China.

Ma, X ORCID: 0000-0003-0074-4192, Cheng, X and McCrindle, R, 2005. Verifying cardholder registration phase in SET protocol. In: Proceedings of the 2005 IEEE SMC UK-RI Conference on Applied Cybernetics (AC2005), London.

Cheng, X, He, X, Ma, X ORCID: 0000-0003-0074-4192, Zhou, D, Duan, P and Zhong, S, 2005. An agent based education resource purvey system. In: The 2005 International Conference on Computational Intelligence and Security (CIS'05), Xi'an, China, 15-19 December 2005, Xi'an, China.

Cheng, X, Ma, X ORCID: 0000-0003-0074-4192, Wang, L and Zhong, S, 2005. A mobile agent based spam filter system. In: The 2005 International Conference on Computational Intelligence and Security (CIS'05), Xi'an, China, 15-19 December 2005, Xi'an, China.

He, R, Zhong, S, Cheng, X and Ma, X ORCID: 0000-0003-0074-4192, 2005. A personalised search engine for Chinese educational resources. In: Proceedings of the 2005 IEEE SMC UK-RI Conference on Applied Cybernetics (AC2005), London.

Sun, P, Ma, X ORCID: 0000-0003-0074-4192, Cheng, X, Yu, X and Zhong, S, 2004. Knowledge management for e-learning system. In: Proceedings of the 10th Annual Conference of Chinese Automation and Computing Society in UK (CACSUK 2004), Liverpool.

Ma, X ORCID: 0000-0003-0074-4192 and Cheng, X, 2004. Verifying cryptographic protocols. In: Proceedings of the IEEESMC UK-RI 3rd Conference on Intelligent Cybernetic Systems (ICS'04), Londonderry.

He, X, Ma, X ORCID: 0000-0003-0074-4192, Cheng, X, Yu, X and Zhong, S, 2004. A mobile agent based intrusion detection system. In: Proceedings of the 10th Annual Conference of Chinese Automation and Computing Society in UK (CACSUK 2004), Liverpool.

Ma, X ORCID: 0000-0003-0074-4192 and Sun, Y, 2002. Two effective real-time synchronization protocols in reservation-based real-time systems. In: Proceedings of the 8th Joint International Computer Conference, Ningbo, China.

This list was generated on Mon Sep 25 02:47:01 2017 UTC.