loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Maya Benabdelhafid 1 ; Kamel Adi 1 ; Omer Landry Nguena Timo 1 and Luigi Logrippo 1 ; 2

Affiliations: 1 Computer Security Research Laboratory, Université du Québec en Outaouais, Gatineau, Canada ; 2 School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada

Keyword(s): Software Architecture, Security, Vulnerability Detection, Access Control, Hierarchical Colored Petri Nets, HCPN, Model Checking, ASK-CTL, CPN Tools.

Abstract: Hierarchical Colored Petri Nets (HCPNs) are a powerful formalism for modeling complex systems. This paper presents a formal approach based on HCPN for vulnerability detection in software architecture. By incorporating model checking and the enhanced computing-timing logic of ASK-CTL queries, the proposed approach enables rigorous security property verification. Through a case study of a hypothetical small library system, we demonstrate how this automated process effectively identifies a critical Access Control vulnerability: a regular user gaining unauthorized access to a function reserved for librarians.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 216.73.216.72

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Benabdelhafid, M., Adi, K., Timo, O. L. N., Logrippo and L. (2025). Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. In Proceedings of the 22nd International Conference on Security and Cryptography - SECRYPT; ISBN 978-989-758-760-3; ISSN 2184-7711, SciTePress, pages 523-530. DOI: 10.5220/0013638700003979

@conference{secrypt25,
author={Maya Benabdelhafid and Kamel Adi and Omer Landry Nguena Timo and Luigi Logrippo},
title={Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures},
booktitle={Proceedings of the 22nd International Conference on Security and Cryptography - SECRYPT},
year={2025},
pages={523-530},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013638700003979},
isbn={978-989-758-760-3},
issn={2184-7711},
}

TY - CONF

JO - Proceedings of the 22nd International Conference on Security and Cryptography - SECRYPT
TI - Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures
SN - 978-989-758-760-3
IS - 2184-7711
AU - Benabdelhafid, M.
AU - Adi, K.
AU - Timo, O.
AU - Logrippo, L.
PY - 2025
SP - 523
EP - 530
DO - 10.5220/0013638700003979
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic