The SCEAS System
Navigation Menu

Search the dblp DataBase


Pierre Bieber: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002