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

Simple item page
dc.contributor.authorDjerbi, Rachid
dc.date.accessioned2015-03-23T11:27:06Z
dc.date.available2015-03-23T11:27:06Z
dc.date.issued2012
dc.description95 p. : ill. ; 30 cm. (+ CD-Rom)fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/2383
dc.language.isofrfr_FR
dc.subjectSystèmes informatiques : Mesures de sûretéfr_FR
dc.subjectLangages formelsfr_FR
dc.subjectMéthodes formelles (informatique)fr_FR
dc.subjectPreuve électroniquefr_FR
dc.subjectCohérence (informatique)fr_FR
dc.titleFormalisation et implantation d'une politique de securité dans le système FoCaLiZefr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH7115.pdf
Size:
904.24 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Théses de Magister