MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Theorems about Composition." – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

ATOM

Theorems about Composition
by Michel Charpentier, K. Mani Chandy — 2000
…Theorems about Composition ? Michel Charpentier 1 and K. Mani Chandy 2 1 Computer Science…
Cited by 13 (4 self) – Add To MetaCart

Basic Properties of Functor Structures
by Claus Zinn University, Claus Zinn, Wolfgang Jaksch
…--Nurnberg Wolfgang Jaksch University of Erlangen--Nurnberg Summary. This article presents some theorems about functor…
Add To MetaCart

Towards the use of Semantic Contents in ASP for planning and Diagnostic
by Mauricio Osorio, Claudia Zepeda — 2004 — in GIS. Proc. of MICAI04 Conference
… introduce the definition of Semantic Contents and give one of our main theorems about compositionality. Next…
Cited by 1 (0 self) – Add To MetaCart

Toward Compositional Analysis of Security Protocols
by Using Theorem Proving, Oleg Sheyner, Jeannette Wing — 2000
… about compositional properties of I/O automata help prove correctness theorems about the systems…
Add To MetaCart

Composition and Integrity Preservation of Secure Reactive Systems
by Birgit Pfitzmann, Michael Waidner — 2000 — In Proc. 7th ACM Conference on Computer and Communications Security
… composition theorem. Our Section 4 can be seen as an extension of this to reactive systems. There are two main…
Cited by 100 (13 self) – Add To MetaCart

A Composable Cryptographic Library with Nested Operations (Extended Abstract)
by Michael Backes, Birgit Pfitzmann, Michael Waidner — 2003
…, there are no theorems about composition or property preservation from the abstract to the real system. Several papers…
Cited by 84 (23 self) – Add To MetaCart

Symmetric Authentication within a Simulatable Cryptographic Library
by Michael Backes, Birgit Pfitzmann, Michael Waidner — 2003 — In Proc. 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of LNCS
… corresponding real systems. This model does not yet contain theorems about composition or property preservation…
Cited by 27 (14 self) – Add To MetaCart

Universally Composable Cryptographic Library
by Michael Backes, Birgit Pfitzmann, Michael Waidner — 2003 — in Proceedings of the 10th ACM Conference on Computer and Communications Security
… corresponding real systems. There are no theorems about composition or property-preservation from the abstract…
Cited by 33 (10 self) – Add To MetaCart

Verification of Automated Vehicle Protection Systems
by H. B. Weinberg, Nancy Lynch, Norman Delisle
… theorems about the composition of AVPSs. The first addresses independent AVPSs; the second, a one…
Cited by 15 (11 self) – Add To MetaCart

Formal Model of Basic Concepts
by Andre Adelsbach, Birgit Pfitzmann (eds.), Birgit Pfitzmann (editors, Universität Des Saarl — 1999
…, theorems about composition or the preservation of integrity properties have were given, hence…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10.

ATOM

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