Reusable Formal Models for Secure Software Architectures

No abstract is available for this paper.

• Publication year

  2012

• Venue

  2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture

• Publication date

  2012-08-20

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/WICSA-ECSA.212.12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Stable Availability under Denial of Service Attacks through Formal Patterns

  2012cited by this paper
• Using Security Patterns to Model and Analyze Security Requirements

  2012cited by this paper
• The Security Twin Peaks

  2011cited by this paper
• Security in Context: Analysis and Refinement of Software Architectures

  2010cited by this paper
• Security Pattern Lattice: A Formal Model to Organize Security Patterns

  2008cited by this paper
• Software Abstractions - Logic, Language, and Analysis

  2006influential reference
• Core Security Patterns: Best Practices and Strategies for J2EE, Web Services, and Identity Management

  2005influential reference
• A Qualitative Evaluation of Security Patterns

  2004cited by this paper
• Formally analyzing software architectural specifications using SAM

  2004cited by this paper
• A UML-based pattern specification technique

  2004cited by this paper
• 8. A Theoretical Model for Security Patterns

  2003cited by this paper
• Concurrency Verification: Introduction to Compositional and Noncompositional Methods

  2001cited by this paper
• Lazy Compositional Verification

  1997cited by this paper
• Proceedings 1st International Workshop on Software Patterns and Quality (spaqu'07) Proceedings 1st International Workshop on Software Patterns and Quality (spaqu'07) Workshop Organizers (program Co-chairs) Program Committee Linda Rising, Independent Consultant External Reviewers International Worksh

  year unknowncited by this paper

• A formal approach for security pattern enforcement in software architecture

  2025cites this paper
• An Approach for Verification of Secure Access Control Using Security Pattern

  2022cites this paper
• A Unified Model to Detect Information Flow and Access Control Violations in Software Architectures

  2021cites this paper
• Towards an Automated Approach for Detecting Architectural Weaknesses in Critical Systems

  2020cites this paper
• Systematic Literature Review of Security Pattern Research

  2020cites this paper
• Modular verification of programs with effects and effects handlers

  2020cites this paper
• Formal specification and verification of reusable communication models for distributed systems architecture

  2020cites this paper
• Data-Driven Software Architecture for Analyzing Confidentiality

  2019cites this paper
• An empirical study of tactical vulnerabilities

  2019cites this paper
• Modular Verification of Programs with Effects and Effect Handlers in Coq

  2018cites this paper
• A Lingua Franca for Security by Design

  2018cites this paper
• Formalizing Reusable Communication Models for Distributed Systems Architecture

  2018cites this paper
• A Model for Provably Secure Software Design

  2017cites this paper
• Understanding Software Vulnerabilities Related to Architectural Security Tactics: An Empirical Investigation of Chromium, PHP and Thunderbird

  2017cites this paper
• Formalization and Model Checking of Software Architectural Style

  2015cites this paper
• Composing Patterns to Construct Secure Systems

  2015cites this paper
• Building Secure Applications Using Pattern-Based Design Fragments

  2015cites this paper
• Analysis of a Complex Architectural Style C2 Using Modeling Language Alloy

  2014cites this paper
• Software architecture-based analysis and testing: a look into achievements and future challenges

  2013cites this paper
• Building high assurance secure applications using security patterns for capability-based platforms

  2013cites this paper