On the public citation graph
From Secure Business Process Modeling to Design-Level Security Verification
0 signed · 51 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/int.20432openalex-snapshot
From goal-driven security requirements engineering to secure design
inferredcites →https://doi.org/10.1007/0-306-46998-7_7openalex-snapshot
Modelling Audit Security for Smart-Card Payment Schemes with UML-Sec
inferredcites →https://doi.org/10.1007/3-540-45732-1_10openalex-snapshot
Safety and Security Analysis of Object-Oriented Models
inferredcites →https://doi.org/10.1007/3-540-45800-x_33openalex-snapshot
SecureUML: A UML-Based Modeling Language for Model-Driven Security
inferredcites →https://doi.org/10.1007/978-3-319-61470-0_12openalex-snapshot
Henshin: A Usability-Focused Framework for EMF Model Transformation Development
inferredcites →https://doi.org/10.1007/978-3-319-61482-3_13openalex-snapshot
Model-Based Privacy Analysis in Industrial Ecosystems
inferredcites →https://doi.org/10.1007/978-3-540-73031-6_27openalex-snapshot
Mal-Activity Diagrams for Capturing Attacks on Business Processes
inferredcites →https://doi.org/10.1007/978-3-540-74409-2_13openalex-snapshot
Analysis-Level Classes from Secure Business Processes Through Model Transformations
inferredcites →https://doi.org/10.1007/978-3-642-16145-2_9openalex-snapshot
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations
inferredcites →https://doi.org/10.1007/978-3-642-19811-3_17openalex-snapshot
Systematic Development of UMLsec Design Models Based on Security Requirements
inferredcites →https://doi.org/10.1007/978-3-642-33704-8_8openalex-snapshot
RABAC: Role-Centric Attribute-Based Access Control
inferredcites →https://doi.org/10.1007/978-3-642-35887-6_9openalex-snapshot
Enhancing Model Driven Security through Pattern Refinement Techniques
inferredcites →https://doi.org/10.1007/978-3-642-41533-3_4openalex-snapshot
Model-Driven Extraction and Analysis of Network Security Policies
inferredcites →https://doi.org/10.1007/978-3-662-43745-2_14openalex-snapshot
Modeling and Verifying Security Policies in Business Processes
inferredcites →https://doi.org/10.1007/s00766-004-0194-4openalex-snapshot
Eliciting security requirements with misuse cases
inferredcites →https://doi.org/10.1007/s00766-009-0093-9openalex-snapshot
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec
inferredcites →https://doi.org/10.1007/s00766-011-0141-0openalex-snapshot
Enhancing security requirements engineering by organizational learning
inferredcites →https://doi.org/10.1007/s10270-012-0240-5openalex-snapshot
From misuse cases to mal-activity diagrams: bridging the gap between functional security analysis and design
inferredcites →https://doi.org/10.1016/j.dss.2011.01.018openalex-snapshot
Secure business process model specification through a UML 2.0 activity diagram profile
inferredcites →https://doi.org/10.1016/j.infsof.2008.05.004openalex-snapshot
An aspect-oriented methodology for designing secure applications
inferredcites →https://doi.org/10.1093/ietisy/e90-d.4.745openalex-snapshot
A BPMN Extension for the Modeling of Security Requirements in Business Processes
inferredcites →https://doi.org/10.1109/ares.2009.90openalex-snapshot
Security Requirements Specification in Service-Oriented Business Process Management
inferredcites →https://doi.org/10.1109/ase.2001.989840openalex-snapshot
Formally testing fail-safety of electronic purse protocols
inferredcites →https://doi.org/10.1109/cist.2014.7016613openalex-snapshot
Getting the static model of PIM from the CIM
inferredcites →https://doi.org/10.1109/indin.2012.6300914openalex-snapshot
Transformation of business process models BPMN 2.0 into components of the Java business platform
inferredcites →https://doi.org/10.1109/models.2015.7338255openalex-snapshot
SoSPa: A system of Security design Patterns for systematically engineering secure systems
inferredcites →https://doi.org/10.1109/sar-ssi.2011.5931378openalex-snapshot
From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis
inferredcites →https://doi.org/10.1109/tse.2007.70772openalex-snapshot
Applying Formal Methods to a Certifiably Secure Software System
inferredcites →https://doi.org/10.1145/2209249.2209268openalex-snapshot
Large-scale complex IT systems
inferredcites →https://doi.org/10.1145/2896982.2896986openalex-snapshot
Model-based analysis of Java EE web security configurations
inferredcites →https://doi.org/10.15168/11572_368502openalex-snapshot
Secure Business Process Engineering: a socio-technical approach
inferredcites →https://doi.org/10.4304/jsw.2.1.47-59openalex-snapshot
Model-Driven Security Engineering for Trust Management in SECTET
inferredcites →https://doi.org/10.5220/0005690102660273openalex-snapshot
A New Methodology CIM to PIM Transformation Resulting from an Analytical Survey
inferredcites →https://doi.org/10.5555/1926458.1926471openalex-snapshot
Henshin: advanced concepts and tools for in-place EMF model transformations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-58793-2_29openalex-snapshot
A Privacy-By-Design Architecture for Indoor Localization Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-85347-1_23openalex-snapshot
GRADUATION: A GDPR-Based Mutation Methodology
inferred← citeshttps://doi.org/10.1007/978-3-319-92997-2_12openalex-snapshot
Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models
inferred← citeshttps://doi.org/10.1007/s10270-020-00781-xopenalex-snapshot
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
inferred← citeshttps://doi.org/10.1007/s10270-021-00936-4openalex-snapshot
A generic approach to detect design patterns in model transformations using a string-matching algorithm
inferred← citeshttps://doi.org/10.1007/s10270-022-00991-5openalex-snapshot
Checking security compliance between models and code
inferred← citeshttps://doi.org/10.1007/s10270-022-01019-8openalex-snapshot
Tracing security requirements in industrial control systems using graph databases
inferred← citeshttps://doi.org/10.1016/j.array.2020.100051openalex-snapshot
COVID-19 & privacy: Enhancing of indoor localization architectures towards effective social distancing
inferred← citeshttps://doi.org/10.1109/cbi68102.2025.00023openalex-snapshot
An Exercise in Concurrent Software Engineering: The MUSIC360 Digital Ecosystem
inferred← citeshttps://doi.org/10.1109/models.2019.00-18openalex-snapshot
Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings
inferred← citeshttps://doi.org/10.1109/rcis.2019.8877022openalex-snapshot
GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study
inferred← citeshttps://doi.org/10.1145/3666015.3666016openalex-snapshot
Maintaining Security Consistency During System Development with Security-Oriented Model Federation
inferred← citeshttps://doi.org/10.5220/0007392304210428openalex-snapshot
Enhancing Business Process Modelling with Data Protection Compliance: An Ontology-based Proposal
inferred← citeshttps://doi.org/10.70675/63e5a56dz3863z4d0bzb0f1za52ba54aa2f9openalex-snapshot
Continuous secure evolution of software models
inferred← citeshttps://doi.org/10.7250/csimq.2022-32.02openalex-snapshot
Security Requirements Specification and Tracing within Topological Functioning Model
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.