François Germeau

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2000

2 Guy Leduc, François Germeau: Verification of security protocols using LOTOS-method and application. Computer Communications 23(12): 1089-1103 (2000)

1997

1 François Germeau, Guy Leduc: A Computer Aided Design of a Secure Registration Protocol. FORTE 1997: 145-160

	2000
2		Guy Leduc, François Germeau: Verification of security protocols using LOTOS-method and application. Computer Communications 23(12): 1089-1103 (2000)
	1997
1		François Germeau, Guy Leduc: A Computer Aided Design of a Secure Registration Protocol. FORTE 1997: 145-160

Coauthor Index

1 Guy Leduc [1] [2]