VERIFICATION FORMELLE NOTAMMENT D'UNE MACHINE VIRTUELLE SECURISEE - Patent 1337915

(19)

(11)

EP 1 337 915 A1

(12)

(43)	Date de publication:
	27.08.2003 Bulletin 2003/35

(21)	Numéro de dépôt: 01998154.7

(22)	Date de dépôt: 21.11.2001

(51)	Int. Cl.⁷: G06F 9/45

(86)	Numéro de dépôt:
	PCT/FR0103/656

(87)	Numéro de publication internationale:
	WO 0204/4898 (06.06.2002 Gazette 2002/23)

(84)	Etats contractants désignés:
	AT BE CH CY DE DK ES FI FR GB GR IE IT LI LU MC NL PT SE TR
	Etats d'extension désignés:
	AL LT LV MK RO SI

(30)

Priorité:

24.11.2000 FR 0015306

(71)	Demandeur: FRANCE TELECOM
	75015 Paris (FR)

(72)	Inventeur:
	BRISSET, Pascal F-22300 Lannion (FR)

(74)	Mandataire: Lapoux, Roland M.
	Cabinet Martinet & Lapoux,43 Boulevard Vauban,B.P. 405,Guyancourt 78055 Saint Quentin Yvelines Cedex 78055 Saint Quentin Yvelines Cedex (FR)

(54)	VERIFICATION FORMELLE NOTAMMENT D'UNE MACHINE VIRTUELLE SECURISEE