Formalisation et implantation d'une politique de securité dans le système FoCaLiZe

dc.contributor.author	Djerbi, Rachid
dc.date.accessioned	2015-03-23T11:27:06Z
dc.date.available	2015-03-23T11:27:06Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/123456789/2383
dc.description	95 p. : ill. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Systèmes informatiques : Mesures de sûreté	fr_FR
dc.subject	Langages formels	fr_FR
dc.subject	Méthodes formelles (informatique)	fr_FR
dc.subject	Preuve électronique	fr_FR
dc.subject	Cohérence (informatique)	fr_FR
dc.title	Formalisation et implantation d'une politique de securité dans le système FoCaLiZe	fr_FR
dc.type	Thesis	fr_FR