Building Secure Applications Using Pattern-Based Design Fragments

No abstract is available for this paper.

• Publication year

  2015

• Venue

  2015 IEEE 34th Symposium on Reliable Distributed Systems Workshop (SRDSW)

• Publication date

  2015-09-28

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/SRDSW.2015.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.

• Composing Patterns to Construct Secure Systems

  2015cited by this paper
• Modelling Access Propagation in Dynamic Systems

  2013cited by this paper
• CHERI: a research platform deconflating hardware virtualisation and protection

  2012cited by this paper
• Variability points and design pattern usage in architectural tactics

  2012cited by this paper
• An Architectural Approach for Cost Effective Trustworthy Systems

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

  2012cited by this paper
• Reusable Formal Models for Secure Software Architectures

  2012cited by this paper
• A tactic-centric approach for automating traceability of quality concerns

  2012cited by this paper
• Capabilities Revisited : A Holistic Approach to Bottom-to-Top Assurance of Trustworthy Systems

  2010cited by this paper
• Applicability of Security Patterns

  2010cited by this paper
• SP 800-53 Rev. 3. Recommended Security Controls for Federal Information Systems and Organizations

  2009cited by this paper
• seL4: formal verification of an OS kernel

  2009cited by this paper
• Recommended Security Controls for Federal Information Systems and Organizations

  2009cited by this paper
• Core Security Patterns: Best Practices and Strategies for J2EE, Web Services, and Identity Management

  2005cited by this paper
• A probabilistic language based upon sampling functions

  2005influential reference
• Pattern-Oriented Analysis and Design: Composing Patterns to Design Software Systems

  2003cited by this paper
• SecureUML: A UML-Based Modeling Language for Model-Driven Security

  2002cited by this paper
• UMLsec: Extending UML for Secure Systems Development

  2002cited by this paper
• Software architecture in practice

  1999cited by this paper
• Architectural Patterns for Enabling Application Security

  1998cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• What you Always Wanted to Know About Datalog (And Never Dared to Ask)

  1989cited by this paper
• The Confused Deputy: (or why capabilities might have been invented)

  1988cited by this paper
• The protection of information in computer systems

  1975cited by this paper
• Programming semantics for multiprogrammed computations

  1966cited by this paper

• Systematic Literature Review of Security Pattern Research

  2020cites this paper
• Formal Verification of a Component Platform

  2016cites this paper