Andre Adelsbach, Michael Steiner (eds.)  Home/Search
Context
Related
| maftia.org/deliverables/D8.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: maftia.org/deliverables/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: MAFTIA's Work-package 6 is pursuing the overall goal of "rigorously defining the basic concepts developed by MAFTIA, and verifying results of the work on dependable middle-ware." In the former MAFTIA deliverable D4, we presented a general rigorous model for the security of reactive systems. This model comprised various types of faults (attacks) and topology as considered in MAFTIA, but was restricted to a synchronous timing model. In this deliverable, we focus on a modelvariant for... (Update)
Similar documents (at the sentence level):
7.0%: A Model for Asynchronous Reactive Systems and its.. - Pfitzmann, Waidner (2001) (Correct)
Active bibliography (related documents): More All
0.9: Formal Model of Basic Concepts - Adelsbach, (eds.) (1999) (Correct)
0.8: Composition and Integrity Preservation of Secure Reactive.. - Pfitzmann, Waidner (2000) (Correct)
0.6: Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (Correct)
Similar documents based on text: More All
0.3: Advanced Techniques for Dispute Resolving and Authorship.. - Adelsbach, Sadeghi (2003) (Correct)
0.2: Project IST-1999-11583 - Malicious- And Accidental-Fault (Correct)
0.1: Secure Data Management in Trusted Computing - Kühn, Kursawe, Lucks, Sadeghi, .. (2005) (Correct)
BibTeX entry: (Update)
@misc{ adelsbach-cryptographic,
author = "Andre Adelsbach and Michael Steiner (eds.)",
title = "Cryptographic Semantics for the Algebraic Models",
url = "citeseer.ist.psu.edu/adelsbach99cryptographic.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
531 The Knowledge Complexity of Interactive Proof Systems (context) - Goldwasser, Micali et al. - 1989
501 A Digital Signature Scheme Secure Against Adaptive Chosen-Me.. - Goldwasser, Micali et al. - 1988
404 A Calculus for Cryptographic Protocols: The Spi Calculus - Abadi, Gordon - 1997
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
260 Relations Among Notions of Security for Public-Key Encryptio.. (context) - Bellare, Desai et al. - 1998
179 Security and Composition of Multiparty Cryptographic Protoco.. - Canetti - 2000
174 Probabilistic Simulations for Probabilistic Processes - Segala, Lynch - 1994
167 Protocols for Secure Computations (context) - Yao - 1982
161 Timing attacks on implementations of Di#e-Hellman (context) - Kocher - 1996
153 A note on the confinement problem - Lampson - 1973
145 erential power analysis (context) - Kocher, Ja et al.
140 How to Play any Mental Game---Or---A Completeness Theorem fo.. (context) - Goldreich, Micali et al. - 1987
131 Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen.. (context) - Racko, Simon - 1992
120 Secure Computation (context) - Micali, Rogaway - 1992
120 A Modular Approach to the Design and Analysis of Authenticat.. (context) - Bellare, Canetti et al. - 1998
119 Chosen ciphertext attacks against protocols based on the RSA.. - Bleichenbacher
119 How To Withstand Mobile Virus Attacks (context) - Ostrovsky, Yung - 1991
114 A Probabilistic Poly-Time Framework for Protocol Analysis - Lincoln, Mitchell et al. - 1998
98 Fair Computation of General Functions in Presence of Immoral.. (context) - Goldwasser, Levin - 1991
98 Selecting cryptographic key sizes - Lenstra, Verheul - 2001
90 Secure Multiparty Protocols and Zero Knowledge Proof Systems.. (context) - Beaver - 1991
80 Studies in Secure Multiparty Computation and Applications - Canetti - 1995
77 Composition and Integrity Preservation of Secure Reactive Sy.. - Pfitzmann, Waidner - 2000
76 The Computational Soundness of Formal Encryption (context) - Abadi, Rogaway et al. - 2000
61 Towards sound approaches to counteract power-analysis attack.. (context) - Chari, Jutla et al.
46 Probabilistic Polynomial-Time Equivalence and Security Analy.. - Lincoln, Mitchell et al. - 1999
46 Secure Implementation of Channel Abstractions - Abadi, Fournet et al. - 1998
45 Quantum computation - Berthiaume - 1997
40 Player Simulation and General Adversary Structures in Perfec.. - Hirt, Maurer - 2000
40 Public-Key Encryption in a Multi-user Setting: Security Proo.. (context) - Bellare, Boldyreva et al. - 2000
36 of Computer and System Sciences (context) - Goldwasser, Micali et al. - 1984
32 on Foundations of Computer Science (context) - Yao, Applications et al. - 1982
25 Automaton Models and Proofs for Shared-Key Communication Sys.. (context) - Lynch - 1999
22 Soft tempest: Hidden data transmission using electromagnetic.. - Kuhn, Anderson - 1998
22 the importance of eliminating errors in cryptographic comput.. - Boneh, DeMillo et al. - 2001
20 Security Engineering (context) - Anderson - 2001
19 A Unified Framework for Analyzing Security of Protocols (context) - Canetti - 2000
19 Secure Reactive Systems - Pfitzmann, Schunter et al. - 2000
19 Verifiable Secret Sharing as Secure Computation - Gennaro, Micali - 1995
16 Computational probabilistic noninterference - Backes, Pfitzmann - 2001
14 Electronic Notes in Theoretical Computer Science (context) - Pfitzmann, Schunter et al. - 2000
12 Provably Secure Certified Mail - Pfitzmann, Schunter et al. - 2000
12 cient Threshold Public Key Cryptosystem Secure Against Adapt.. (context) - Canetti, Goldwasser - 1999
12 Measures and Counter-Measures for Smart Cards (context) - Quisquater, Samyde et al. - 2001
11 what is now possible (context) - Akkar, Bevan et al. - 2000
9 Department of Computer Science and Applied Mathematics (context) - Goldreich, Computation - 1998
9 EMpowering side-channel attacks - Rao, Rohatgi - 2001
9 Department of Computer Science and Applied Mathematics (context) - Goldreich, Cryptography et al. - 1995
7 Biological computing - Kurtz, Mahaney et al. - 1996
5 A Formal Model for Multiparty Group Key Agreement (context) - Pfitzmann, Steiner et al. - 2002
3 Hildesheimer Informatik-Berichte (context) - Pfitzmann, Waidner et al. - 1994
2 Formal Model of Basic Concepts - Adelsbach, Eds - 2001
1 ACM Transactions on Information Security (context) - Schneider, Policies - 2001
1 Embedding Synchronous in Asynchronous Reactive Systems (context) - Backes, Pfitzmann - 2001
Documents on the same site (http://www.maftia.org/deliverables/index.html): More
Full design of Dependable Third Party Services - Cachin (2002) (Correct)
Specification and verification of selected intrusion.. - Creese, (eds.) (2003) (Correct)
Project IST-1999-11583 - Malicious- And Accidental-Fault (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC