Items where Author is "Gouglidis, Antonios"

Journal Article

Staves, Alexander and Gouglidis, Antonios and Maesschalck, Sam and Hutchison, David (2024) Risk-Based Safety Scoping of Adversary-Centric Security Testing on Operational Technology. Safety Science, 174: 106481. ISSN 0925-7535

Bozorgchenani, Arash and Zarakovitis, Charilaos C. and Chien, Su Fong and Ni, Qiang and Gouglidis, Antonios and Mallouli, Wissam and Lim, Heng Siong (2024) Intrusion Response Systems for the 5G Networks and Beyond : A New Joint Security-vs-QoS Optimization Approach. IEEE Transactions on Network Science and Engineering, 11 (3): 10415224. pp. 3039-3052. ISSN 2327-4697

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2024) Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments. IEEE Transactions on Cloud Computing, 12 (1). pp. 319-336. ISSN 2168-7161

Staves, Alex and Gouglidis, Antonios and Hutchison, David (2023) An Analysis of Adversary-Centric Security Testing within Information and Operational Technology Environments. Digital Threats: Research and Practice, 4 (1): 14. pp. 1-29.

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2022) ThreatPro : Multi-Layer Threat Analysis in the Cloud. arXiv, abs/22. ISSN 2331-8422

Staves, Alex and Anderson, Tom and Balderstone, Harry and Green, Benjamin and Gouglidis, Antonios and Hutchison, David (2022) A Cyber Incident Response and Recovery Framework to Support Operators of Industrial Control Systems. International Journal of Critical Infrastructure Protection, 37: 100505. ISSN 1874-5482

Ivkic, Igor and Sailer, Patrizia and Gouglidis, Antonios and Mauthe, Andreas and Tauber, Markus (2022) A Security Cost Modelling Framework for Cyber-Physical Systems. ACM Transactions on Internet Technology, 22 (2): 53. pp. 1-31. ISSN 1533-5399

Stocker, Armin and Alshawish, Ali and Bor, Martin and Vidler, John and Gouglidis, Antonios and Scott, Andrew and Marnerides, Angelos and de Meer, Hermann and Hutchison, David (2022) An ICT Architecture for Enabling Ancillary Services in Distributed Renewable Energy Sources Based on the SGAM Framework. Energy Informatics, 5 (1): 5. ISSN 2520-8942

Grompanopoulos, Christos and Gouglidis, Antonios and Mavridou, Anastasia (2021) Specifying and Verifying Usage Control Models and Policies in TLA+. International Journal on Software Tools for Technology Transfer, 23 (5). pp. 685-700. ISSN 1433-2779

Mitropoulos, Sarandis and Gouglidis, Antonios and Giotsas, Vasileios (2021) A categorisation of policy conflicts in distributed systems and network management. International Journal of Information Privacy, Security and Integrity, 4 (4). pp. 276-295.

Jindal, Anish and Kronawitter, Jakob and Kühn, Ramona and Bor, Martin and de Meer, Hermann and Gouglidis, Antonios and Hutchison, David and Marnerides, Angelos and Scott, Andrew and Mauthe, Andreas (2020) A Flexible ICT Architecture to Support Ancillary Services in Future Electricity Distribution Networks : An Accounting Use Case for DSOs. Energy Informatics, 3: 6. ISSN 2520-8942

Gouglidis, Antonios and Green, Benjamin and Hutchison, David and Alshawish, Ali and de Meer, Hermann (2018) Surveillance and Security : Protecting Electricity Utilities and other Critical Infrastructures. Energy Informatics, 1 (1): 15. ISSN 2520-8942

Knowles, William and Such, Jose M. and Gouglidis, Antonios and Misra, Gaurav and Rashid, Awais (2017) All that glitters is not gold : on the effectiveness of cyber security qualifications. IEEE Computer, 50 (12). pp. 60-71. ISSN 0018-9162

Shirazi, Syed Noor Ul Hassan and Gouglidis, Antonios and Farshad, Arsham and Hutchison, David (2017) The Extended Cloud : Review and Analysis of Mobile Edge Computing and Fog from a Security and Resilience Perspective. IEEE Journal on Selected Areas in Communications, 35 (11). pp. 2586-2595. ISSN 0733-8716

Such, Jose M. and Gouglidis, Antonios and Knowles, William and Misra, Gaurav and Rashid, Awais (2016) Information assurance techniques : perceived cost effectiveness. Computers and Security, 60. pp. 117-133. ISSN 0167-4048

Gouglidis, Antonios and Mavridis, Ioannis and Hu, Vincent C. (2014) Security policy verification for multi-domains in cloud systems. International Journal of Information Security, 13 (2). pp. 97-111. ISSN 1615-5262

Gouglidis, Antonios and Mavridis, Ioannis (2012) DomRBAC : an access control model for modern collaborative systems. Computers and Security, 31 (4). pp. 540-556. ISSN 0167-4048

Contribution in Book/Report/Proceedings

Alharbi, Ebtisaam and Soriano Marcolino, Leandro and Ni, Qiang and Gouglidis, Antonios (2024) Robust Knowledge Distillation in Federated Learning : Counteracting Backdoor Attacks. In: Proceedings of the IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) :. IEEE. (In Press)

Ivkic, Igor and Thiede, Dominik and Race, Nicholas and Broadbent, Matthew and Gouglidis, Antonios (2024) Security Evaluation in Software-Defined Networks. In: Cloud Computing and Services Science : 12th International Conference, CLOSER 2022, Virtual Event, April 27–29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26–28, 2023, Revised Selected Papers. Communications in Computer and Information Science . Springer, CZE, pp. 66-91. ISBN 9783031681646

Gunasekera, Ovini and Sogokon, Andrew and Gouglidis, Antonios and Suri, Neeraj (2024) Real Arithmetic in TLAPM. In: NASA Formal Methods 2024 :. UNSPECIFIED. (In Press)

Alharbi, Ebtisaam and Soriano Marcolino, Leandro and Gouglidis, Antonios and Ni, Qiang (2023) Robust Federated Learning Method against Data and Model Poisoning Attacks with Heterogeneous Data Distribution. In: 26th European Conference on Artificial Intelligence ECAI 2023- IOS Press :. UNSPECIFIED, POL. (In Press)

Ivkic, Igor and Thiede, Dominik and Race, Nicholas and Broadbent, Matthew and Gouglidis, Antonios (2023) A Security Evaluation Framework for Software-Defined Network Architectures in Data Center Environments. In: CLOSER 2023 : International Conference on Cloud Computing and Services Science :. UNSPECIFIED, CZE. (In Press)

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2022) Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud. In: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security :. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security . ACM, USA, pp. 3415-3417. ISBN 9781450394505

Bozorgchenani, Arash and Zarakovitis, Charilaos and Fong Chien, Su and Siong Lim, Heng and Ni, Qiang and Gouglidis, Antonios and Mallouli, Wissam (2022) Joint Security-vs-QoS Framework : Optimizing the Selection of Intrusion Detection Mechanisms in 5G networks. In: ARES '22: Proceedings of the 17th International Conference on Availability, Reliability and Security :. ACM, New York. ISBN 9781450396707

Hutchison, David and Rouncefield, Mark and Gouglidis, Antonios and Anderson, Tom (2021) Design and Engineering of Resilience for Networked Computer Systems. In: Multisystemic Resilience : Adaptation and Transformation in Changing Contexts. Oxford University Press, pp. 663-681. ISBN 9780190095888

Sailer, Patrizia and Ivkic, Igor and Tauber, Markus and Mauthe, Andreas and Gouglidis, Antonios (2021) Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems. In: 17th IFIP/IEEE International Symposium on Integrated Network Management (IM 2021) : 2nd IEEE/IFIP International Workshop on Management for Industry 4.0 (MFI 4.0). IEEE, FRA, pp. 908-913. ISBN 9781728190419

König, Sandra and Gouglidis, Antonios and Rass, Stefan and Adams, Neil and Smith, Paul and Hutchison, David (2020) Analysing Disaster-induced Cascading Effects in Hybrid Critical Infrastructures : A Practical Approach. In: Guide to Disaster-Resilient Communication Networks :. Computer Communications Network . Springer, Cham, pp. 769-789. ISBN 9783030446840

König, Sandra and Gouglidis, Antonios and Rass, Stefan and Adams, Neil and Smith, Paul and Hutchison, David (2020) Analyzing Disaster-Induced Cascading Effects in Hybrid Critical Infrastructures : A Practical Approach. In: Guide to Disaster-Resilient Communication Networks :. Computer Communications and Networks (CCN) . Springer, Cham, pp. 769-789. ISBN 9783030446840

Anderson, Tom and Busby, Jerry and Gouglidis, Antonios and Hough, Karen and Hutchison, David and Rouncefield, Mark (2020) Human and Organizational Issues for Resilient Communications. In: Guide to Disaster-Resilient Communication Networks :. Computer Communications and Networks . Springer, Cham, pp. 791-807. ISBN 9783030446840

Jindal, Anish and Marnerides, Angelos and Gouglidis, Antonios and Mauthe, Andreas Ulrich and Hutchison, David (2019) Communication standards for distributed renewable energy sources integration in future electricity distribution networks. In: ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) :. IEEE, GBR, pp. 8390-8393. ISBN 9781479981328

Salonikias, Stavros and Gouglidis, Antonios and Mavridis, Ioannis and Gritzalis, Dimitrios (2019) Access Control in Industrial Internet of Things. In: Security and Privacy Trends in the Industrial Internet of Things :. Springer, pp. 95-114. ISBN 9783030123307

König, Sandra and Gouglidis, Antonios and Green, Benjamin and Solar, Alma (2018) Assessing the Impact of Malware Attacks in Utility Networks. In: Game Theory for Security and Risk Management : From Theory to Practice. Static & Dynamic Game Theory: Foundations and Applications . Springer Birkhäuser, pp. 335-351. ISBN 9783319752679

Gouglidis, Antonios and Grompanopoulos, Christos and Mavridou, Anastasia (2018) Formal Verification of Usage Control Models : A Case Study of UseCON Using TLA+. In: Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018) :. EPTCS . EPTCS, GRC, pp. 52-64.

Esposito, Christian and Gouglidis, Antonios and Hutchison, David and Gurtov, Andrei and Helvik, Bjarne and Heegaard, Poul and Rizzo, Gianluca and Rak, Jacek (2018) On the Disaster Resiliency within the Context of 5G Networks : The RECODIS Experience. In: European Conference on Networks and Communications 2018 :. IEEE, SVN. ISBN 9781538614785

König, Sandra and Gouglidis, Antonios (2018) Random Damage in Interconnected Networks. In: Game Theory for Security and Risk Management : From Theory to Practice. Static & Dynamic Game Theory: Foundations and Applications . Springer Birkhäuser, Basel. ISBN 9783319752679

Alshawish, Ali and Amine Abid, Mohamed and de Meer, Hermann and Schauer, Stefan and König, Sandra and Gouglidis, Antonios and Hutchison, David (2018) G-DPS : A Game-theoretical Decision-making Framework for Physical Surveillance Games. In: Game Theory for Security and Risk Management : From Theory to Practice. Static & Dynamic Game Theory: Foundations and Applications . Springer Birkhäuser, Basel, pp. 129-156. ISBN 9783319752679

Gouglidis, Antonios and König, Sandra and Green, Benjamin and Rossegger, Karl and Hutchison, David (2018) Protecting Water Utility Networks from Advanced Persistent Threats : A Case Study. In: Game Theory for Security and Risk Management : From Theory to Practice. Static & Dynamic Game Theory: Foundations and Applications . Springer Birkhäuser, Basel, pp. 313-333. ISBN 9783319752679

Gouglidis, Antonios and Hu, Vincent C. and Busby, Jeremy Simon and Hutchison, David (2017) Verification of Resilience Policies that Assist Attribute Based Access Control. In: ABAC '17 Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control :. ACM, USA, pp. 43-52. ISBN 9781450349109

Busby, Jeremy Simon and Gouglidis, Antonios and Rass, Stefan and König, Sandra (2016) Modelling security risk in critical utilities : the system at risk as a three player game and agent society. In: Proceedings of SMC 2016 :. IEEE.

Machuca, Carmen Mas and Secci, Stefano and Vizaretta, Petra and Kuipers, Fernando and Gouglidis, Antonios and Hutchison, David and Jouet, Simon and Pezaros, Dimitrios and Elmokashfi, Ahmed and Heegaard, Poul and Ristov, Sasko and Gusev, Marjan (2016) Technology-related disasters : a survey towards disaster-resilient software defined networks. In: Resilient Networks Design and Modeling (RNDM), 2016 8th International Workshop on :. IEEE, pp. 35-42. ISBN 9781467390248

Gouglidis, Antonios and Green, Benjamin and Busby, Jeremy Simon and Rouncefield, Mark Francis and Hutchison, David and Schauer, Stefan (2016) Threat awareness for critical infrastructures resilience. In: Resilient Networks Design and Modeling (RNDM), 2016 8th International Workshop on :. IEEE, 9781467390248. ISBN 9781467390231

Shirazi, Syed Noor Ul Hassan and Gouglidis, Antonios and Syeda, Kanza Noor and Simpson, Steven and Mauthe, Andreas Ulrich and Stephanakis, Ioannis M. and Hutchison, David (2016) Evaluation of Anomaly Detection Techniques for SCADA Communication Resilience. In: Resilience Week (RWS), 2016 :. IEEE, USA, pp. 140-145. ISBN 9781509020034

Shirazi, Syed Noor Ul Hassan and Simpson, Steven and Gouglidis, Antonios and Mauthe, Andreas Ulrich and Hutchison, David (2016) Anomaly detection in the cloud using data density. In: Cloud Computing (CLOUD), 2016 IEEE 9th International Conference on :. Cloud Computing (CLOUD), 2016 IEEE 9th International Conference on . IEEE, USA, pp. 616-623. ISBN 9781509026203

Stephanakis, Ioannis M. and Shirazi, Syed Noor Ul Hassan and Gouglidis, Antonios and Hutchison, David (2016) A Multi-commodity network flow model for cloud service environments. In: Engineering Applications of Neural Networks : 17th International Conference, EANN 2016, Aberdeen, UK, September 2-5, 2016, Proceedings. Communications in Computer and Information Science . Springer, GBR, pp. 186-197. ISBN 9783319441870

Knowles, William and Such Aparicio, Jose Miguel and Gouglidis, Antonios and Misra, Gaurav and Rashid, Awais (2015) Assurance Techniques for Industrial Control Systems (ICS). In: CPS-SPC '15 Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy :. ACM, New York, pp. 101-112. ISBN 9781450338271

Grompanopoulos, Christos and Gouglidis, Antonios and Mavridis, Ioannis (2013) A use-based approach for enhancing UCON. In: Security and Trust Management :. Lecture Notes in Computer Science . Springer Verlag, GBR, pp. 81-96. ISBN 9783642380037

Gouglidis, Antonios and Mavridis, Ioannis and Hu, Vincent C. (2013) Verification of secure inter-operation properties in multi-domain RBAC systems. In: Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on :. IEEE, GBR, pp. 35-44. ISBN 9781479929245

Gouglidis, Antonios and Mavridis, Ioannis (2013) A methodology for the development and verification of access control systems in cloud computing. In: Collaborative, Trusted and Privacy-Aware e/m-Services :. IFIP Advances in Information and Communication Technology . Springer Verlag, Berlin, pp. 88-99. ISBN 9783642374364

Gouglidis, Antonios and Mavridis, Ioannis (2011) Grid access control models and architectures. In: Computational and data grids : principles, applications and design. IGI Global, pp. 217-234. ISBN 9781613501139

Gouglidis, Antonios and Mavridis, Ioannis (2011) Role-based secure inter-operation and resource usage management in mobile grid systems. In: Information Security Theory and Practice : Security and Privacy of Mobile Devices in Wireless Communication : 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings. Lecture Notes in Computer Science . Springer Verlag, Berlin, pp. 38-53. ISBN 9783642210396

Gouglidis, Antonios and Mavridis, Ioannis (2010) On the definition of access control requirements for grid and cloud computing systems. In: Networks for Grid Applications : Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering . Springer Verlag, GBR, pp. 19-26. ISBN 3642117325

Gouglidis, Antonios and Mavridis, Ioannis (2009) A foundation for defining security requirements in grid computing. In: PCI 2009 - 13th Panhellenic Conference on Informatics :. IEEE, GBR, pp. 180-184. ISBN 9780769537887

Monograph

Gouglidis, Antonios and Kagia, Anna and Hu, Vincent C. (2023) Model Checking Access Control Policies : A Case Study using Google Cloud IAM. Other. Arxiv.

Contribution to Conference

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2022) Poster: Multi-Layer Threat Analysis of the Cloud. In: ACM Conference on Computer and Communications Security, 2022-11-07 - 2022-11-11.

Staves, Alex and Balderstone, Harry and Green, Benjamin and Gouglidis, Antonios and Hutchison, David (2020) A Framework to Support ICS Cyber Incident Response and Recovery. In: the 17th International Conference on Information Systems for Crisis Response and Management, 2020-05-24 - 2020-05-27, Virginia Tech.

Gouglidis, Antonios and Hutchison, David (2018) Verification of Policies in Human Cyber-Physical Systems : the Role and Importance of Resilience. In: Workshop on Cyber-Physical Systems Security and Resilience, 2018-04-10.

Gouglidis, Antonios and Shirazi, Syed Noor Ul Hassan and Simpson, Steven and Smith, Paul and Hutchison, David (2016) A Multi-Level Approach to Resilience of Critical Infrastructures and Services. In: ICT 2016, 2016-05-16 - 2016-05-18.

Book/Report/Proceedings

Such, Jose M. and Gouglidis, Antonios and Knowles, William and Misra, Gaurav and Rashid, Awais (2015) The economics of assurance activities. Lancaster University.

Thesis

Zhang, Jiajie and Zhang, Bingsheng and Gouglidis, Antonios (2024) Privacy Preserving Decision-Making over Blockchain. PhD thesis, Lancaster University.

Staves, Alex and Green, Benjamin and Gouglidis, Antonios and Hutchison, David (2023) Operational Technology Preparedness : A Risk-Based Safety Approach to Scoping Security Tests for Cyber Incident Response and Recovery. PhD thesis, Lancaster University.

Balogun, Hamed and Zhang, Bingsheng and Gouglidis, Antonios (2021) Towards Sustainable Blockchains : Cryptocurrency Treasury and General Decision-making Systems with Provably Secure Delegable Blockchain-based Voting. PhD thesis, Lancaster University.

Al-Salami, Nasser and Zhang, Bingsheng and Gouglidis, Antonios (2020) Kleptography and steganography in blockchains. PhD thesis, Lancaster University.

Other

Hu, Vincent C. and Iorga, Michaela and Bao, Wei and Li, Ang and Li, Qinghua and Gouglidis, Antonios (2020) General Access Control Guidance for Cloud Systems : SP 800-210(Draft). Computer Security Resource Center.

Gouglidis, Antonios and Hutchison, David (2017) Protection against Cyber Attacks : Introducing Resilience for SCADA Networks. AIT Austrian Institute of Technology GmbH.