Home > Research > Researchers > Dr Antonios Gouglidis > Publications

Research

Dr Antonios Gouglidis

Senior Lecturer

51 - 59 out of 59Page size: 10
RSS feed of this list
  1. Published

    Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

    Gouglidis, A., Grompanopoulos, C. & Mavridou, A., 25/06/2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018). Bliudze, S. & Bensalem, S. (eds.). EPTCS, p. 52-64 13 p. (EPTCS; vol. 272).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Published

    Model Checking Access Control Policies: A Case Study using Google Cloud IAM

    Gouglidis, A., Kagia, A. & Hu, V. C., 29/03/2023, Arxiv.

    Research output: Working paper › Preprint

  3. Published

    On the Disaster Resiliency within the Context of 5G Networks: The RECODIS Experience

    Esposito, C., Gouglidis, A., Hutchison, D., Gurtov, A., Helvik, B., Heegaard, P., Rizzo, G. & Rak, J., 18/06/2018, European Conference on Networks and Communications 2018. IEEE, 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Modelling security risk in critical utilities: the system at risk as a three player game and agent society

    Busby, J. S., Gouglidis, A., Rass, S. & König, S., 9/10/2016, Proceedings of SMC 2016. IEEE, 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Joint Security-vs-QoS Framework: Optimizing the Selection of Intrusion Detection Mechanisms in 5G networks

    Bozorgchenani, A., Zarakovitis, C., Fong Chien, S., Siong Lim, H., Ni, Q., Gouglidis, A. & Mallouli, W., 23/08/2022, ARES '22: Proceedings of the 17th International Conference on Availability, Reliability and Security. New York: ACM, 6 p. 67

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Intrusion Response Systems for the 5G Networks and Beyond: A New Joint Security-vs-QoS Optimization Approach

    Bozorgchenani, A., Zarakovitis, C. C., Chien, S. F., Ni, Q., Gouglidis, A., Mallouli, W. & Lim, H. S., 1/05/2024, In: IEEE Transactions on Network Science and Engineering. 11, 3, p. 3039-3052 14 p., 10415224.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Human and Organizational Issues for Resilient Communications

    Anderson, T., Busby, J., Gouglidis, A., Hough, K., Hutchison, D. & Rouncefield, M., 2020, Guide to Disaster-Resilient Communication Networks. Rak, J. & Hutchison, D. (eds.). Cham: Springer, p. 791-807 17 p. (Computer Communications and Networks).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  8. Published

    G-DPS: A Game-theoretical Decision-making Framework for Physical Surveillance Games

    Alshawish, A., Amine Abid, M., de Meer, H., Schauer, S., König, S., Gouglidis, A. & Hutchison, D., 2018, Game Theory for Security and Risk Management: From Theory to Practice . Rass, S. & Schauer, S. (eds.). Basel: Springer Birkhäuser, p. 129-156 28 p. (Static & Dynamic Game Theory: Foundations and Applications).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution

  9. Forthcoming

    Robust Federated Learning Method against Data and Model Poisoning Attacks with Heterogeneous Data Distribution

    Alharbi, E., Soriano Marcolino, L., Gouglidis, A. & Ni, Q., 15/07/2023, (Accepted/In press) 26th European Conference on Artificial Intelligence ECAI 2023- IOS Press. 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 12 3 4 5 6 Next

Back to top