Toggle Main Menu Toggle Search

Open Access padlockePrints

Compositional Security Analysis of Dynamic Component-based Systems

Lookup NU author(s): Dr Narges KhakpourORCiD

Downloads


Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).


Publication metadata

Author(s): Khakpour N, Skandylas C

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 39th IEEE/ACM International Conference on Automated Software Engineering (ASE '24)

Year of Conference: 2024

Pages: 1232-1244

Online publication date: 27/10/2024

Acceptance date: 07/08/2024

Date deposited: 10/02/2025

ISSN: 2643-1572

Publisher: IEEE/ACM

URL: https://doi.org/10.1145/3691620.3695499

DOI: 10.1145/3691620.3695499

Library holdings: Search Newcastle University Library for this item

ISBN: 9798400712487


Share