Pierre Bieber
Pierre Bieber
Email confirmado em
Citado por
Citado por
A logic of communication in hostile environment
P Bieber
Computer Security Foundations Workshop III, 1990. Proceedings, 14-22, 1990
ESACS: an integrated methodology for design and safety analysis of complex systems
M Bozzano, A Villafiorita, O Åkerlund, P Bieber, C Bougnol, E Böde, ...
Proc. ESREL, 237-245, 2003
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
O Akerlund, P Bieber, E Boede, M Bozzano, M Bretschneider, C Castel, ...
Conference ERTS'06, 2006
New challenges for future avionic architectures.
P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti
Aerospace Lab, p. 1-10, 2012
Combination of fault tree analysis and model checking for safety assessment of complex system
P Bieber, C Castel, C Seguin
Dependable Computing EDCC-4: 4th European Dependable Computing Conference …, 2002
A logical view of secure dependencies
P Bieber, F Cuppens
Journal of Computer Security 1 (1), 99-129, 1992
Safety assessment with AltaRica: lessons learnt based on two aircraft system studies
P Bieber, C Bougnol, C Castel, JPH Christophe Kehren, S Metge, ...
Building the Information Society: IFIP 18th World Computer Congress Topical …, 2004
Checking secure interactions of smart card applets: Extended version
P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon
Journal of Computer Security 10 (4), 369-398, 2002
Experiments in model based safety analysis: Flight controls
R Bernard, JJ Aubert, P Bieber, C Merlini, S Metge
IFAC Proceedings Volumes 40 (6), 43-48, 2007
Preliminary design of future reconfigurable IMA platforms
P Bieber, E Noulard, C Pagetti, T Planche, F Vialard
ACM Sigbed Review 6 (3), 1-5, 2009
Formal development of authentication protocols
P Bieber, N Boulahia-Cuppens
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994
Constraint-based design and allocation of shared avionics resources
L Sagaspe, P Bieber
2007 IEEE/AIAA 26th Digital Avionics Systems Conference, 2. A. 5-1-2. A. 5-10, 2007
DALculus–theory and tool for development assurance level allocation
P Bieber, R Delmas, C Seguin
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
A Definition of Secure Dependencies Using the Logic of Security.
P Bieber, F Cuppens
CSFW, 2-11, 1991
Expression of confidentiality policies with deontic logic
P Bieber, F Cuppens
Deontic logic in computer science: normative system specification, 103-123, 1993
Abstract machines for communication security
P Bieber, N Boulahia-Cuppens, T Lehmann, E Van Wickeren
[1993] Proceedings Computer Security Foundations Workshop VI, 137-146, 1993
The PACAP prototype: a tool for detecting Java Card illegal flow
P Bieber, J Cazin, V Wiels, G Zanon, E Marouan, P Girard, JL Lanet
International Java Card Workshop, 25-37, 2000
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
P Bieber, JP Blanquart, G Durrieu, D Lesens, J Lucotte, F Tardy, M Turin, ...
Embedded Real Time Software and Systems (ERTS2008), 2008
Checking secure interactions of smart card applets
P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon
Computer Security-ESORICS 2000: 6th European Symposium on Research in …, 2000
Security and safety assurance for aerospace embedded systems
P Bieber, JP Blanquart, G Descargues, M Dulucq, Y Fourastier, E Hazane, ...
Embedded real time software and systems (ERTS2012), 2012
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20