Current Research Projects.
I am currently working on security testing and evaluation. I have a doctoral student working on Predicate Based Encryption and on security design patterns.
I am very active in developing a Virtual St Andrews (ViStA) for international student orientation, information, online teaching, meetings, university history, town information etc. This involves staff across the University and is led by myself, Alan Miller (CS) and Janie Brooks (ELT).
Previous projects include:
Privacy, Security and Trust: - requirements engineering for privacy and security in computational systems - e- voting: polsterless remote electronic voting - network security: Denial of Service detection and defence
Agent Based Learning : Using knowledge of failure to guide student learning of Java.
Visualisation of Biochemical Pathways : with SCRI and University of Abertay-Dundee, visualising pathways from plant, human and animal domains.
Visualisation of Software Testing and Metrics : Metrics used to measure test thoroughness, data and logic complexity and failure density within systems.
Some of the research strategies are: Modelling predicate logic and data inconsistencies in code. Using intelligent agents to locate code and design inconsistencies to aid student centred learning of JAVA. Visualising the data space of functions and reduction of the data space by parameter passing. Visualising the test process, via metrics or coverage of predicates and data domains. Analysis of the sparseness/clustering of data and the effect on system execution.
Verification and dynamic testing of Large Scale Code/Grid data
, Fabola, AE & Miller, AHD
2016, Serious games in 2025: towards intelligent learning in Virtual Worlds
. in C Allison, L Morgado, J Pirker, D Beck, J Richter & C Gütl (eds), Workshop, Short Paper and Poster Proceedings from the Second Immersive Learning Research Network Conference (iLRN 2016 Santa Barbara).
2nd edn, Verlag der Technischen Universität Graz, pp. 129-136, iLRN 2016 Conference, Santa Barbara, United States, 27-1 July. DOI: 10.3217/978-3-85125-472-3
de Muijnck-Hughes, J & Duncan, IMM
2015, What's the PREMES behind your Pattern?
in Proceedings of the 22nd Conference on Pattern Languages of Programs.
ACM, PLoP 15 Pattern Languages of Programs Conference 2015, Pittsburgh, PA, United States, 24-26 October.
, Brooks, J & Miles, P 2015, Using a virtual world to aid overseas PGT orientation
. in International Conference on Enhancement and Innovation in Higher Education.
QAA for Higher Education, Glasgow, pp. 361-366, The 2nd International Conference on Enhancement and Innovation in Higher Education 2015, Glasgow, United Kingdom, 9-11 June.
& de Muijnck-Hughes, J 2014, Security pattern evaluation
. in Proceedings - IEEE 8th International Symposium on Service Oriented System Engineering, SOSE 2014.
, 6830941, IEEE, pp. 428-429, 8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014, Oxford, United Kingdom, 7-11 April. DOI: 10.1109/SOSE.2014.61
de Muijnck-Hughes, J & Duncan, IMM
2013, Issues affecting Security Design Pattern engineering
. in Proceedings of the Second International Conference on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns.
Oxford Brookes University, pp. 62-69, Cyberpatterns 2013, Abingdon, Oxfordshire, United Kingdom, 8-9 July.
Khemapech, I, Miller, AHD & Duncan, IMM
2013, An energy aware protocol for cyclic monitoring wireless sensor networks
. in 2013 IEEE Eighth International Conference on Networking, Architecture and Storage (NAS).
IEEE, pp. 13-22, IEEE NAS 2013, Xi'An, China, 17-19 July. DOI: 10.1109/NAS.2013.9
& Coull, NJ 2012, Requirements for educational support tools in Virtual Worlds
. in M Helfert, MJ Martins & J Cordeiro (eds), International Conference on Computer Supported Education: CSEDU 2012.
INSTICC-Institute for Systems and Technologies of Information, Control and Communication, pp. 141-145, 4th International Conference on Computer Supported Education, Porto, Portugal, 16-18 April.