Nazim Benaïssa

According to our database, Nazim Benaïssa authored at least 6 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

The PERF Approach for Formal Verification.

Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2010

La composition des protocoles de sécurité avec la méthode B événementielle. (Security protocols composition using Event B).

Nazim Benaïssa

PhD thesis, 2010

Proof-Based Design of Security Protocols.

Nazim Benaïssa, Dominique Méry

Proceedings of the Computer Science, 2010

2009

Cryptographic Protocols Analysis in Event B.

Nazim Benaïssa, Dominique Méry

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Modelling Attacker's Knowledge for Cascade Cryptographic Protocols.

Nazim Benaïssa

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Integration of Security Policy into System Modeling.

Nazim Benaïssa, Dominique Cansell, Dominique Méry

Proceedings of the B 2007: Formal Specification and Development in B, 2007