Search the dblp DataBase

Publications of Author

1. Pierre Bieber
   Formal Techniques for an ITSEC-E4 Secure Gateway. [Citation Graph (0, 0)][DBLP]
   ACSAC, 1996, pp:236-246 [Conf]
   
2. Pierre Bieber, D. Raujol, Pierre Siron
   Security Architecture for Federated Cooperative Information Systems. [Citation Graph (0, 0)][DBLP]
   ACSAC, 2000, pp:208-216 [Conf]
   
3. Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig
   MOLOG: a Modal PROLOG. [Citation Graph (0, 0)][DBLP]
   CADE, 1988, pp:762-763 [Conf]
   
4. Pierre Bieber
   A Logic of Communication in Hostile Environments. [Citation Graph (0, 0)][DBLP]
   CSFW, 1990, pp:14-22 [Conf]
   
5. Pierre Bieber
   Security Function Interactions. [Citation Graph (0, 0)][DBLP]
   CSFW, 1999, pp:151-160 [Conf]
   
6. Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren
   Abstract Machines for Communication Security. [Citation Graph (0, 0)][DBLP]
   CSFW, 1993, pp:137-146 [Conf]
   
7. Pierre Bieber, Frédéric Cuppens
   A Definition of Secure Dependencies Using the Logic of Security. [Citation Graph (0, 0)][DBLP]
   CSFW, 1991, pp:2-11 [Conf]
   
8. Pierre Bieber, Frédéric Cuppens
   Secure Dependencies with Dynamic Level Assignments. [Citation Graph (0, 0)][DBLP]
   CSFW, 1992, pp:63-75 [Conf]
   
9. Pierre Bieber, Pierre Siron
   Design and Implementation of a Distributed Interactive Simulation Security Architecture. [Citation Graph (0, 0)][DBLP]
   DIS-RT, 1999, pp:113-119 [Conf]
   
10. Pierre Bieber, Charles Castel, Christel Seguin
    Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:19-31 [Conf]
    
11. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
    Checking Secure Interactions of Smart Card Applets. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2000, pp:1-16 [Conf]
    
12. Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel
    Safe Allocation of Avionics Shared Resources. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:25-33 [Conf]
    
13. Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin
    Safety assessment with AltaRica. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:505-510 [Conf]
    
14. Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
    The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:25-37 [Conf]
    
15. Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
    Electronic Purse Applet Certification: extended abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
    
16. Pierre Bieber, Frédéric Cuppens
    A Logical View of Secure Dependencies. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1992, v:1, n:1, pp:99-130 [Journal]
    
17. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
    Checking Secure Interactions of Smart Card Applets: Extended Version. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2002, v:10, n:4, pp:369-398 [Journal]
    
18. 
    Vers la génération de modèles de sûreté de fonctionnement. [Citation Graph (, )][DBLP]
    
    
19. 
    Epistemic Verification of Cryptographic Protocols. [Citation Graph (, )][DBLP]