Nazim Benaïssa

	2010
3		Nazim Benaïssa, Dominique Méry: Proof-Based Design of Security Protocols. CSR 2010: 25-36
	2009
2		Nazim Benaïssa, Dominique Méry: Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference 2009: 282-293
	2007
1		Nazim Benaïssa, Dominique Cansell, Dominique Méry: Integration of Security Policy into System Modeling. B 2007: 232-247

Coauthor Index

1	Dominique Cansell	[1]
2	Dominique Méry	[1] [2] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page