On the public citation graph

Secure Systems Development with UML

https://doi.org/10.1007/b137706
0 signed · 461 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.
Claim with ORCID
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.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.5064587openalex-extracted
Assessing cyberworthiness of complex system capabilities using the cyber evaluation and management toolkit (CEMT)
inferred← citeshttps://doi.org/10.1002/cpe.3402openalex-snapshot
Modeling security requirements for cloud‐based system development
inferred← citeshttps://doi.org/10.1002/int.20432openalex-snapshot
From goal-driven security requirements engineering to secure design
inferred← citeshttps://doi.org/10.1002/sec.599openalex-snapshot
Unified threat model for analyzing and evaluating software threats
inferred← citeshttps://doi.org/10.1002/smr.1980openalex-snapshot
Assessing and improving the quality of security methodologies for distributed systems
inferred← citeshttps://doi.org/10.1007/11429760_12openalex-snapshot
Modeling Social and Individual Trust in Requirements Engineering Methodologies
inferred← citeshttps://doi.org/10.1007/11526841_20openalex-snapshot
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
inferred← citeshttps://doi.org/10.1007/11549970_15openalex-snapshot
Choreographing Security and Performance Analysis for Web Services
inferred← citeshttps://doi.org/10.1007/11554578_2openalex-snapshot
Model-Based Security Engineering with UML
inferred← citeshttps://doi.org/10.1007/11554578_8openalex-snapshot
Security and Trust Requirements Engineering
inferred← citeshttps://doi.org/10.1007/11557432_11openalex-snapshot
Dynamic Secure Aspect Modeling with UML: From Models to Code
inferred← citeshttps://doi.org/10.1007/11580850_14openalex-snapshot
A Practical Formal Model for Safety Analysis in Capability-Based Systems
inferred← citeshttps://doi.org/10.1007/11591962_16openalex-snapshot
Component-Based Development of Dependable Systems with UML
inferred← citeshttps://doi.org/10.1007/11693017_5openalex-snapshot
Engineering Self-protection for Autonomous Systems
inferred← citeshttps://doi.org/10.1007/11751595_109openalex-snapshot
A Comparative Study of Proposals for Establishing Security Requirements for the Development of Secure Information Systems
inferred← citeshttps://doi.org/10.1007/11766155_18openalex-snapshot
SecTOOL – Supporting Requirements Engineering for Access Control
inferred← citeshttps://doi.org/10.1007/11767138_5openalex-snapshot
Towards a Comprehensive Framework for Secure Systems Development
inferred← citeshttps://doi.org/10.1007/11804192_4openalex-snapshot
Model-Based Security Engineering with UML: Introducing Security Aspects
inferred← citeshttps://doi.org/10.1007/11805588_20openalex-snapshot
Aspect-Oriented Risk Driven Development of Secure Applications
inferred← citeshttps://doi.org/10.1007/11813040_42openalex-snapshot
Model-Based Security Engineering for Real
inferred← citeshttps://doi.org/10.1007/11875567_11openalex-snapshot
Stepwise Development of Secure Systems
inferred← citeshttps://doi.org/10.1007/11880240_20openalex-snapshot
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security
inferred← citeshttps://doi.org/10.1007/11880240_22openalex-snapshot
A Model Transformation Semantics and Analysis Methodology for SecureUML
inferred← citeshttps://doi.org/10.1007/11880240_40openalex-snapshot
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations
inferred← citeshttps://doi.org/10.1007/11908883_6openalex-snapshot
Capturing Security Requirements in Business Processes Through a UML 2.0 Activity Diagrams Profile
inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_329-2openalex-snapshot
Secure Database Development
inferred← citeshttps://doi.org/10.1007/978-3-030-00114-8_39openalex-snapshot
Framework for Design Exploration of Secure Embedded System Development
inferred← citeshttps://doi.org/10.1007/978-3-030-00847-5_36openalex-snapshot
How the Conceptual Modelling Improves the Security on Document Databases
inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_27openalex-snapshot
Towards a Hybrid Verification Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_47openalex-snapshot
Specification of Information Flow Security Policies in Model-Based Systems Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_48openalex-snapshot
Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-50316-1_26openalex-snapshot
Ontology Evolution in the Context of Model-Based Secure Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-54549-9_23openalex-snapshot
Threat Analysis Framework for Safety Architectures in SCDL
inferred← citeshttps://doi.org/10.1007/978-3-030-59944-7_3openalex-snapshot
The Architecture of VisiOn Privacy Platform
inferred← citeshttps://doi.org/10.1007/978-3-030-59944-7_4openalex-snapshot
Visual Privacy Management
inferred← citeshttps://doi.org/10.1007/978-3-030-79382-1_1openalex-snapshot
Towards an Ecosystem of Domain Specific Languages for Threat Modeling
inferred← citeshttps://doi.org/10.1007/978-3-031-17604-3_2openalex-snapshot
A Multi-level Cyber-Security Reference Model in Support of Vulnerability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-36597-3openalex-snapshot
Evaluation of Novel Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-43240-8_9openalex-snapshot
RQCODE: Security Requirements Formalization with Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-44412-8openalex-snapshot
Ernst Denert Award for Software Engineering 2022
inferred← citeshttps://doi.org/10.1007/978-3-031-44412-8_4openalex-snapshot
Security Compliance in Model-Driven Software Development
inferred← citeshttps://doi.org/10.1007/978-3-319-17112-8_3openalex-snapshot
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-25579-8_18openalex-snapshot
Problem-Based Security Requirements Elicitation and Refinement with PresSuRE
inferred← citeshttps://doi.org/10.1007/978-3-319-40180-5_16openalex-snapshot
The Enterprise Model Frame for Supporting Security Requirement Elicitation from Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-40512-4_5openalex-snapshot
Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds
inferred← citeshttps://doi.org/10.1007/978-3-319-61482-3_13openalex-snapshot
Model-Based Privacy Analysis in Industrial Ecosystems
inferred← citeshttps://doi.org/10.1007/978-3-319-72817-9_13openalex-snapshot
A UML Profile for Privacy-Aware Data Lifecycle Models
inferred← citeshttps://doi.org/10.1007/978-3-540-30187-5_26openalex-snapshot
Automated Verification of UMLsec Models for Security Requirements
inferred← citeshttps://doi.org/10.1007/978-3-540-31794-4_6openalex-snapshot
For-LySa: UML for Authentication Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-31797-5_27openalex-snapshot
Tools for Critical Systems Development with UML (Tool Demo)
inferred← citeshttps://doi.org/10.1007/978-3-540-31797-5_3openalex-snapshot
Software Architecture Description and UML
inferred← citeshttps://doi.org/10.1007/978-3-540-31869-9_8openalex-snapshot
A Survey of Software Development Approaches Addressing Dependability
inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_23openalex-snapshot
Tools for Secure Systems Development with UML: Security Analysis with ATPs
inferred← citeshttps://doi.org/10.1007/978-3-540-72677-7_15openalex-snapshot
Capturing Dependability Threats in Conceptual Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-73031-6_27openalex-snapshot
Mal-Activity Diagrams for Capturing Attacks on Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_17openalex-snapshot
Verifying Smart Card Applications: An ASM Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-75227-1_10openalex-snapshot
Maintaining Information Flow Security Under Refinement and Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-75563-0_26openalex-snapshot
A Goal Oriented Approach for Modeling and Analyzing Security Trade-Offs
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_21openalex-snapshot
Automated Analysis of Permission-Based Security Using UMLsec
inferred← citeshttps://doi.org/10.1007/978-3-540-78942-0_8openalex-snapshot
Model-Driven Security Engineering of Service Oriented Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88873-4_11openalex-snapshot
A Model-Driven Approach for the Specification and Analysis of Access Control Policies
inferred← citeshttps://doi.org/10.1007/978-3-540-89173-4_12openalex-snapshot
Using Dependent CORAS Diagrams to Analyse Mutual Dependency
inferred← citeshttps://doi.org/10.1007/978-3-540-89247-2_3openalex-snapshot
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-00199-4_6openalex-snapshot
Architectural Refinement and Notions of Intransitive Noninterference
inferred← citeshttps://doi.org/10.1007/978-3-642-00593-0_22openalex-snapshot
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-01862-6_31openalex-snapshot
Enterprise Meta Modeling Methods – Combining a Stakeholder-Oriented and a Causality-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-02144-2_21openalex-snapshot
Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects
inferred← citeshttps://doi.org/10.1007/978-3-642-02674-4_16openalex-snapshot
A Model Driven Approach to the Analysis of Timeliness Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-03730-6_3openalex-snapshot
Towards a Modernization Process for Secure Data Warehouses
inferred← citeshttps://doi.org/10.1007/978-3-642-04425-0_7openalex-snapshot
Security Analysis of a Biometric Authentication System Using UMLsec and JML
inferred← citeshttps://doi.org/10.1007/978-3-642-04840-1_10openalex-snapshot
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
inferred← citeshttps://doi.org/10.1007/978-3-642-04947-7_16openalex-snapshot
Applying a UML Extension to Build Use Cases Diagrams in a Secure Mobile Grid Application
inferred← citeshttps://doi.org/10.1007/978-3-642-05151-7_4openalex-snapshot
Moving from Requirements to Design Confronting Security Issues: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-05183-8_6openalex-snapshot
Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology
inferred← citeshttps://doi.org/10.1007/978-3-642-05358-0_5openalex-snapshot
Objektorientierte Methoden
inferred← citeshttps://doi.org/10.1007/978-3-642-11747-3_10openalex-snapshot
Model-Driven Security Policy Deployment: Property Oriented Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-11747-3_13openalex-snapshot
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-12323-8_19openalex-snapshot
Relating CORAS to the State of the Art
inferred← citeshttps://doi.org/10.1007/978-3-642-13577-4_4openalex-snapshot
Information Systems Security Criticality and Assurance Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-642-15114-9_13openalex-snapshot
Automated Detection of Least Privilege Violations in Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-642-15546-8_8openalex-snapshot
Towards the Secure Modelling of OLAP Users’ Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-642-16277-0_4openalex-snapshot
4 Semantics of UML Models for Dynamic Behavior
inferred← citeshttps://doi.org/10.1007/978-3-642-16782-9_1openalex-snapshot
Comparing Two Techniques for Intrusion Visualization
inferred← citeshttps://doi.org/10.1007/978-3-642-17819-1_18openalex-snapshot
Securing Provenance-Based Audits
inferred← citeshttps://doi.org/10.1007/978-3-642-19125-1_10openalex-snapshot
Lightweight Modeling and Analysis of Security Concepts
inferred← citeshttps://doi.org/10.1007/978-3-642-19125-1_13openalex-snapshot
The Security Twin Peaks
inferred← citeshttps://doi.org/10.1007/978-3-642-19125-1_3openalex-snapshot
Security Validation of Business Processes via Model-Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_17openalex-snapshot
Systematic Development of UMLsec Design Models Based on Security Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-19858-8_2openalex-snapshot
Supporting Requirements Engineers in Recognising Security Issues
inferred← citeshttps://doi.org/10.1007/978-3-642-21393-9_1openalex-snapshot
Patterns Improving the Common Criteria Compliant IT Security Development Process
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_15openalex-snapshot
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-21863-7_24openalex-snapshot
Modeling Support for Confidentiality and Integrity of Object Flows in Activity Models
inferred← citeshttps://doi.org/10.1007/978-3-642-22056-2_62openalex-snapshot
Taking into Account Functional Models in the Validation of IS Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-22056-2_65openalex-snapshot
A Pattern Based Approach for Secure Database Design
inferred← citeshttps://doi.org/10.1007/978-3-642-22056-2_66openalex-snapshot
Analysis of Application of Security Patterns to Build Secure Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-22540-6_1openalex-snapshot
Vulnerability Assessment Methods – A Review
inferred← citeshttps://doi.org/10.1007/978-3-642-23798-0_2openalex-snapshot
Towards Systematic Integration of Quality Requirements into Software Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-24511-4_19openalex-snapshot
Modeling Secure Navigation in Web Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_19openalex-snapshot
Validation of Security-Design Models Using Z
inferred← citeshttps://doi.org/10.1007/978-3-642-24755-2_12openalex-snapshot
Orchestrating Security and System Engineering for Evolving Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-31069-0_1openalex-snapshot
Towards Definition of Secure Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-662-44893-9_16openalex-snapshot
Comparison and Assessment of Security Modeling Approaches in Terms of the QoP-ML
inferred← citeshttps://doi.org/10.1007/978-3-662-52903-4_8-1openalex-snapshot
Industrial Security by Design
inferred← citeshttps://doi.org/10.1007/978-3-662-65004-2_6openalex-snapshot
Dynamic Access Control in Industry 4.0 Systems
inferred← citeshttps://doi.org/10.1007/s00165-012-0247-2openalex-snapshot
Architectural refinement and notions of intransitive noninterference
inferred← citeshttps://doi.org/10.1007/s00165-017-0449-8openalex-snapshot
Formally sound implementations of security protocols with JavaSPI
inferred← citeshttps://doi.org/10.1007/s00766-009-0090-zopenalex-snapshot
A vulnerability-centric requirements engineering framework: analyzing security attacks, countermeasures, and requirements based on vulnerabilities
inferred← citeshttps://doi.org/10.1007/s00766-009-0091-yopenalex-snapshot
A UML-based static verification framework for security
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1007/s00766-011-0139-7openalex-snapshot
Requirements engineering within a large-scale security-oriented research project: lessons learned
inferred← citeshttps://doi.org/10.1007/s00766-011-0141-0openalex-snapshot
Enhancing security requirements engineering by organizational learning
inferred← citeshttps://doi.org/10.1007/s00766-012-0153-4openalex-snapshot
Evaluating the effectiveness of the security quality requirements engineering (SQUARE) method: a case study using smart grid advanced metering infrastructure
inferred← citeshttps://doi.org/10.1007/s00766-014-0208-9openalex-snapshot
Using security robustness analysis for early-stage validation of functional security requirements
inferred← citeshttps://doi.org/10.1007/s00766-015-0220-8openalex-snapshot
Reusable knowledge in security requirements engineering: a systematic mapping study
inferred← citeshttps://doi.org/10.1007/s10009-007-0048-8openalex-snapshot
Tools for secure systems development with UML
inferred← citeshttps://doi.org/10.1007/s10009-014-0364-8openalex-snapshot
Restoring security of evolving software models using graph transformation
inferred← citeshttps://doi.org/10.1007/s10009-018-0489-2openalex-snapshot
Complementary test selection criteria for model-based testing of security components
inferred← citeshttps://doi.org/10.1007/s10207-023-00713-yopenalex-snapshot
Yet another cybersecurity risk assessment framework
inferred← citeshttps://doi.org/10.1007/s10207-024-00880-6openalex-snapshot
Expediting the design and development of secure cloud-based mobile apps
inferred← citeshttps://doi.org/10.1007/s10270-010-0154-zopenalex-snapshot
A framework to support alignment of secure software engineering with legal regulations
inferred← citeshttps://doi.org/10.1007/s10270-010-0156-xopenalex-snapshot
A transformation contract to generate aspects from access control policies
inferred← citeshttps://doi.org/10.1007/s10270-011-0189-9openalex-snapshot
Classification and trend analysis of UML books (1997–2009)
inferred← citeshttps://doi.org/10.1007/s10270-011-0218-8openalex-snapshot
Least privilege analysis in software architectures
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1007/s10270-012-0268-6openalex-snapshot
Security modeling for service-oriented systems using security pattern refinement approach
inferred← citeshttps://doi.org/10.1007/s10270-015-0486-9openalex-snapshot
Design notations for secure software: a systematic literature review
inferred← citeshttps://doi.org/10.1007/s10270-019-00720-5openalex-snapshot
A comparative study of students and professionals in syntactical model comprehension experiments
inferred← citeshttps://doi.org/10.1007/s10270-021-00953-3openalex-snapshot
Integrating the analysis of multiple non-functional properties in model-driven engineering
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-00992-4openalex-snapshot
Evaluating the accessibility of a PoN-enabled misuse case notation by the red–green colorblind community
inferred← citeshttps://doi.org/10.1007/s10270-024-01184-yopenalex-snapshot
MBFair: a model-based verification methodology for detecting violations of individual fairness
inferred← citeshttps://doi.org/10.1007/s10515-007-0013-5openalex-snapshot
Computer-aided Support for Secure Tropos
inferred← citeshttps://doi.org/10.1007/s10515-022-00334-0openalex-snapshot
An Automated Security Concerns Recommender Based on Use Case Specification Ontology
inferred← citeshttps://doi.org/10.1007/s11219-010-9100-0openalex-snapshot
Architecture analysis of enterprise systems modifiability: a metamodel for software change cost estimation
inferred← citeshttps://doi.org/10.1007/s11219-011-9169-0openalex-snapshot
Taxonomy of quality metrics for assessing assurance of security correctness
inferred← citeshttps://doi.org/10.1007/s11416-022-00444-zopenalex-snapshot
An approach for the automatic verification of blockchain protocols: the Tweetchain case study
inferred← citeshttps://doi.org/10.1007/s12599-024-00899-yopenalex-snapshot
A Multi-level Reference Model and a Dedicated Method for Cyber-Security by Design
inferred← citeshttps://doi.org/10.1007/s13369-019-04067-3openalex-snapshot
A Systematic Review and Analytical Evaluation of Security Requirements Engineering Approaches
inferred← citeshttps://doi.org/10.1016/b978-0-12-800162-2.00003-8openalex-snapshot
Advances in Model-Driven Security
inferred← citeshttps://doi.org/10.1016/j.comnet.2013.08.024openalex-snapshot
Modeling test cases for security protocols with SecureMDD
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2015.07.011openalex-snapshot
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
inferred← citeshttps://doi.org/10.1016/j.cose.2009.11.005openalex-snapshot
A framework of composable access control features: Preserving separation of access control concerns from models to code
inferred← citeshttps://doi.org/10.1016/j.cose.2010.02.002openalex-snapshot
A probabilistic relational model for security risk analysis
inferred← citeshttps://doi.org/10.1016/j.cose.2012.01.004openalex-snapshot
A methodology for integrating access control policies within database development
inferred← citeshttps://doi.org/10.1016/j.cose.2012.04.005openalex-snapshot
Securing distributed systems using patterns: A survey
inferred← citeshttps://doi.org/10.1016/j.cose.2016.09.001openalex-snapshot
Security knowledge representation artifacts for creating secure IT systems
inferred← citeshttps://doi.org/10.1016/j.cose.2022.102705openalex-snapshot
VehicleLang: A probabilistic modeling and simulation language for modern vehicle IT infrastructures
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103284openalex-snapshot
The meta attack language - a formal description
inferred← citeshttps://doi.org/10.1016/j.cose.2024.104057openalex-snapshot
Development and validation of coreLang: A threat modeling language for the ICT domain
inferred← citeshttps://doi.org/10.1016/j.csi.2005.01.003openalex-snapshot
Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation
inferred← citeshttps://doi.org/10.1016/j.csi.2013.12.007openalex-snapshot
Securing business processes using security risk-oriented patterns
inferred← citeshttps://doi.org/10.1016/j.csi.2013.12.011openalex-snapshot
Specifying model changes with UMLchange to support security verification of potential evolution
inferred← citeshttps://doi.org/10.1016/j.csi.2015.02.011openalex-snapshot
ASE: A comprehensive pattern-driven security methodology for distributed systems
inferred← citeshttps://doi.org/10.1016/j.datak.2009.02.004openalex-snapshot
Modeling and analysis of security trade-offs – A goal oriented approach
inferred← citeshttps://doi.org/10.1016/j.datak.2021.101907openalex-snapshot
Ontology-driven evolution of software security
inferred← citeshttps://doi.org/10.1016/j.dss.2011.11.008openalex-snapshot
A practical application of our MDD approach for modeling secure XML data warehouses
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.07.012openalex-snapshot
Foundations for Designing Secure Architectures
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.092openalex-snapshot
Barbed Model–Driven Software Development: A Case Study
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.11.008openalex-snapshot
Model-based Security Testing Using UMLsec
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.036openalex-snapshot
S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.08.009openalex-snapshot
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.06.238openalex-snapshot
System evolution through semi-automatic elicitation of security requirements: A Position Paper ⁎ ⁎Research supported by the DFG (German Research Foundation) in Priority Programme SPP1593: Design for Future - Managed Software Evolution (VO 937/20-2 and JU 2734/2-2).
inferred← citeshttps://doi.org/10.1016/j.ijmedinf.2014.08.009openalex-snapshot
A standardised graphic method for describing data privacy frameworks in primary care research using a flexible zone model
inferred← citeshttps://doi.org/10.1016/j.infsof.2007.10.011openalex-snapshot
Do secure information system design methods provide adequate modeling support?
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.04.004openalex-snapshot
Towards the development of privacy-aware systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.004openalex-snapshot
An aspect-oriented methodology for designing secure applications
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.006openalex-snapshot
XRound: A reversible template language and its application in model-based security analysis
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.007openalex-snapshot
A model-based aspect-oriented framework for building intrusion-aware software systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.010openalex-snapshot
Model-Driven Development for secure information systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.10.001openalex-snapshot
Automated verification of security pattern compositions
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.01.002openalex-snapshot
Analysis of Secure Mobile Grid Systems: A systematic approach
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.05.007openalex-snapshot
Security requirements engineering framework for software product lines
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.11.015openalex-snapshot
Modeling process-related RBAC models with extended UML activity models
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.03.004openalex-snapshot
An advanced approach for modeling and detecting software vulnerabilities
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.04.001openalex-snapshot
Evaluation of the Pattern-based method for Secure Development (PbSD): A controlled experiment
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.03.003openalex-snapshot
Development of Secure XML Data Warehouses with QVT
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.09.001openalex-snapshot
A comprehensive pattern-oriented approach to engineering security methodologies
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.10.008openalex-snapshot
An architecture for automatically developing secure OLAP applications from models
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.05.002openalex-snapshot
A scientific evaluation of the misuse case diagrams visual syntax
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.07.008openalex-snapshot
Reusable and generic design decisions for developing UML-based domain-specific languages
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.08.001openalex-snapshot
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.10.008openalex-snapshot
Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.11.010openalex-snapshot
An empirical study to improve software security through the application of code refactoring
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.11.002openalex-snapshot
Information quality requirements engineering with STS-IQ
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.11.008openalex-snapshot
A survey on software coupling relations and tools
inferred← citeshttps://doi.org/10.1016/j.infsof.2024.107396openalex-snapshot
Towards a taxonomy of privacy requirements based on the LGPD and ISO/IEC 29100
inferred← citeshttps://doi.org/10.1016/j.is.2007.03.002openalex-snapshot
Security Attack Testing (SAT)—testing the security of information systems at design time
inferred← citeshttps://doi.org/10.1016/j.jisa.2022.103120openalex-snapshot
Security policies by design in NoSQL document databases
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.08.006openalex-snapshot
A domain-specific language for cryptographic protocols based on streams
inferred← citeshttps://doi.org/10.1016/j.jnca.2011.01.001openalex-snapshot
Systematic design of secure Mobile Grid systems
inferred← citeshttps://doi.org/10.1016/j.jss.2006.08.014openalex-snapshot
Early quality prediction of component-based systems – A generic framework
inferred← citeshttps://doi.org/10.1016/j.jss.2007.11.716openalex-snapshot
Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles
inferred← citeshttps://doi.org/10.1016/j.jss.2008.03.067openalex-snapshot
Performance analysis of security aspects by weaving scenarios extracted from UML models
inferred← citeshttps://doi.org/10.1016/j.jss.2009.08.023openalex-snapshot
Quantifying security risk level from CVSS estimates of frequency and impact
inferred← citeshttps://doi.org/10.1016/j.jss.2010.02.019openalex-snapshot
Architecture analysis of enterprise systems modifiability – Models, analysis, and validation
inferred← citeshttps://doi.org/10.1016/j.jss.2011.08.013openalex-snapshot
Appraisal and reporting of security assurance at operational systems level
inferred← citeshttps://doi.org/10.1016/j.jss.2011.10.052openalex-snapshot
Formally based semi-automatic implementation of an open security protocol
inferred← citeshttps://doi.org/10.1016/j.jss.2013.10.017openalex-snapshot
Using SMCD to reduce inconsistencies in misuse case models: A subject-based empirical evaluation
inferred← citeshttps://doi.org/10.1016/j.jss.2015.02.040openalex-snapshot
Investigating security threats in architectural context: Experimental evaluations of misuse case maps
inferred← citeshttps://doi.org/10.1016/j.jss.2018.02.003openalex-snapshot
A framework for semi-automated co-evolution of security knowledge and system models
showing the first 200 of 461
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.