MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Security Properties of Software Components." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

A Security Characterisation Framework for Trustworthy Component Based Software Systems
by Jun Han, Khaled Md. Khan, Khaled Md. Khan — 2003 — 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
by Khaled Md, Khan Jun, Han Yuliang Zheng
… 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
by Khaled Md, Khanl Jun, Ran Yuliang Zheng
… 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
by Khaled Khan — 2001 — In Proceedings of the Australian Software Engineering Conference (ASWEC'01
…, 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
by Artem Vorobiev, Jun Han — Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid
…, 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
by Khaled Md. Khan, Jun Han, Yuliang Zheng — 2000 — in Proceedings of 36th International Conference on Technology of Object-Oriented Languages and Systems
… 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
by Jun Han, Yuliang Zheng — 1998 — In Proceedings of 1998 Australiasian Workshop on Software Architectures
… 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
by Jun Han — 1999 — Proceedings of 1999 International Workshop on Component Based Software Engineering. Los
… 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
by Jacques Noye, Sebastian Pavel, Jean-Claude Royer, Jacques Noyé Sebastian Pavel — 2004 — In 17th Workshop on Algebraic Development Techniques
… project [1] we aim to add security properties to software components and to provide means to check…
Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB