Searching for "Security Properties of Software Components." – sorted by Relevance.
-
A Security Characterisation Framework for Trustworthy Component Based Software Systems
- to characterise security properties of software components, and how to reason about their suitability for a
- Cited by 7 (3 self) – Add To MetaCart
-
Abstract Specifying Security Requirements and Assurances of Software Components
- that can be used to model and specify required and ensured security properties of software components
- Add To MetaCart
-
Characterising User Data Protection of Software Components
- with the functionality of software components. The security properties are attached with various aspects of a component
- Add To MetaCart
-
A Framework for an Active Interface to Characterise Compositional Security Contracts of Software
- , rather it proposes a model to characterise the existing security properties of software components. We
- Cited by 7 (1 self) – Add To MetaCart
-
2006b ‘Specifying Dynamic Security Properties of Web Service Based Systems’, paper presented to
- , to specify the static security properties of software components and systems. In this paper, we use SCL
- Cited by 1 (1 self) – Add To MetaCart
-
Security Characterisation of Software Components and Their Composition
- of security properties of stand-alone software components and some of their compositional primitives
- Cited by 3 (0 self) – Add To MetaCart
-
Security Characterisation and integrity assurance for software components and component
- characteristics of software components and (2) analysing the security properties of component-based systems
- Cited by 4 (3 self) – Add To MetaCart
-
An Approach to Software Component Specification
- recognised, the interface signature of a component comprises properties, operations and events. A software
- Cited by 6 (0 self) – Add To MetaCart
-
A PVS Experiment with Asynchronous Communicating Components
- project [1] we aim to add security properties to software components and to provide means to check
- Add To MetaCart

