MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Composition of Secure Systems." – sorted by Relevance.

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

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

14 documents found, showing 1 through 10. Next 10 →

ATOM

On the composition of secure systems
by Heiko Mantel — 2002 — In Proceedings of the IEEE Symposium on Security and Privacy
… component of this work in other works must be obtained from the IEEE. On the Composition of Secure Systems…
Cited by 25 (2 self) – Add To MetaCart

A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
by Birgit Pfitzmann, Michael Waidner — 2000
… cryptographic semantics, supporting abstract specications and the composition of secure systems. This enables…
Cited by 112 (18 self) – Add To MetaCart

Introducing Engineered Composition (EC): An Approach for Extending the Common Criteria to Better
by Shari Galitzer — 2003 — Published in the WAEP to System Security Design Proc
… in Spring 2001, in ‘’Engineered Composition for Secure Systems Using the Common Criteria’, I presented my…
Cited by 2 (0 self) – Add To MetaCart

Reasoning about secure interoperation using soft constraints
by Stefano Bistarelli, Simon N. Foley — 2004 — In Proceedings of FAST-2004 Workshop on Formal Aspects of Security and Trust
… unauthorized access. The composition of secure systems is not necessarily secure. A user may be able to gain…
Cited by 2 (1 self) – Add To MetaCart

SECURITY ANALYSIS OF NETWORK PROTOCOLS: COMPOSITIONAL REASONING AND COMPLEXITY
by David L. Dill — 2005
… foundational theory for secure composition of secure systems and software. We believe that the assume…
Add To MetaCart

A Constraint-based Framework for the Cascade Vulnerability Problem
by Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Barry O’sullivan C — 2004
… access. The composition of secure systems is not necessarily secure. A user may be able to gain…
Add To MetaCart

Modelling and detecting the cascade vulnerability problem using soft constraints
by Stefano Bistarelli — 2004 — In Proceedings of the ACM Symposium on Applied Computing
… systems ensures that their multilevel composition is secure; however, interoperability and data sharing…
Cited by 2 (1 self) – Add To MetaCart

unknown title
by unknown authors
… to ensure security. 1. Introduction The composition of secure systems is not necessarily secure. A user may…
Add To MetaCart

Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks
by Stefano Bistarelli — 2004 — In Proceedings Innovative Applications of Artificial Intelligence Conference (IAAI-04
… of the network and ensure security. Introduction The composition of secure systems is not necessarily secure. A…
Cited by 4 (2 self) – Add To MetaCart

Unwinding Forward Correctability
by Jonathan Millen — 1994 — In Proceedings of the Computer Security Foundations Workshop
… as a satisfactory denition can be recast as examples of compositions of secure systems…
Cited by 11 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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