Conservatoire National des Arts et Métiers

De
Publié par

Niveau: Supérieur, Master, Bac+5

  • mémoire


Conservatoire National des Arts et Métiers Centre régional Rhône-Alpes Centre d'Enseignement de GRENOBLE MEMOIRE présenté par Thierry Moutet en vue d'obtenir Le Diplôme d'Ingénieur C.N.A.M. en Informatique Description de propriétés de sécurité pour un processus de validation/vérification Soutenu le 30 juin 2010 Jury Président : M. Eric Gressier-Soudan Membres : M. Jean-Pierre Giraudin M. André Plisson M. Mathias Voisin-Fradin Mme Marie-Laure Potet M. Philippe Lassaut du m as -0 05 23 23 4, v er sio n 1 - 4 O ct 2 01 0

  • description de propriétés de sécurité

  • direction de marie-laure

  • promotion supérieure du travail-cuefa

  • centre d'enseignement

  • cycle ingénieur

  • membres de l'équipe vasco


Publié le : mardi 1 juin 2010
Lecture(s) : 52
Source : dumas.ccsd.cnrs.fr
Nombre de pages : 127
Voir plus Voir moins

anConseravMarie-Laa2010toireAndr?Naocessustionaludes:ArJean-PierretsthiasetPhilippeM?tiersvCentretionr?gional30Rh?ne-AlpesyCentreEricd'Enseignement:deudinGRENOBLEM.MEMOIREoisin-Fradinpr?senPotett?utpardeThierryalidMoutettion/v?rificaenSoutenvueled'obtenirjuinLeJurDipl?mePr?sidentd'Ing?nieurM.C.N.A.M.Gressier-SoudenMembresInfM.ormaGiratiqueM.DescriptionPlissondeMaprVopri?t?sMmedeures?curit?M.pourLassaunpr
dumas-00523234, version 1 - 4 Oct 2010dumas-00523234, version 1 - 4 Oct 2010CNRS,Conserdirig?evconnaissances.aLIGtoiredomainesNa(VtionalVdesMixteArregrouptslesethercM?tiersetCentreesr?gionaldeRh?ne-AlpesdeCentrehe)d'EnseignementdedeesGRENOBLE:MEMOIREteractionspr?sendet?VparSpThierrydeMoutetYenL'?quipvuefaitd'obtenirLogicielsLeoratoireDipl?meUMRd'Ing?nieurRecC.N.A.M.l'INRIA,enl'INPGInfLeormaplusieurstiquedesDescriptionandeinfrastructuresprlesopri?t?slesdees?curit?recpourheunASCOprAlidation,ocessus?cicationdeCOnstructionvlogiciels),alidparavtion/v?rificaLedru.tioneSoutenASCOupartielel'axe30dujuin(Lab2010d'InformatiqueLesGrenoble),tra(Unit?vdeauxhercrelatifsdeaudupr?sendetetm?moirel'UJF.onLIGte?t??quipeectu?sautoursousquatrelasuivdirectiontsdelesMarie-Laureinformatiques,Plogiciels,otet,inauetseindel'?quip
dumas-00523234, version 1 - 4 Oct 2010dumas-00523234, version 1 - 4 Oct 2010aille,RemerciemenmaistsduLededipl?mediciles.d'ing?nieurenCNAMtestprofesseursouv?enttsonuneplongueexprimer?preuvtree.aPqueouramismoi,soneller?alis?repr?senciationteoudraisl'abpuoutissemensoustortdetra?n?plusdudetresixGiraudin,ansCNAMdedeformationfaitauraciel,CNAM..EnttreprendreElleunedetellevformationremerciemenencamaradespluslad'uneail-CUEFvieunprofessionnellegr?ceetortfamilialeAn'estencorepastcaid?hosequifacile.soutenance.Aussi,toutesunleurteldeparcoursPlisson,n'estGrenoblepasersit?seulemenonsabletGrenoble.l'?uvretribu?d'uneremerciepPersonne,lenomLassaut,breuseso?sonbretmacellessoutienquiJeongratitudetparcontrouvtribu?dans?te,saquir?ussite.publications.Jevtiens?toutl'AIPST,d'abIng?nieursordSup?raremercierJeMadameordMarie-LauremerciPtotet,quiprofesseurceensimagmoetoutilstuteurEpux.ourtoutescequistage.ceD'unem'onpart,leelle?m'atnonourseulementienstreconnaissanceaccueillipdanspsonv?quipaueann?es,enMonsieurmeduproptosanMonsieurt?ceFsujetetmaiscycleelleinformatiquem'aaide?galementtlaaccord?parcours.bEriceaucoupCNAMdequitempsde?,r?pPhilippondre??somestraquestionstetce?remerciemeetdonnerourdefaillepr?cieuxcesconseils.particuli?remenD'autremapart,maelletoujoursm'apatiencepm'aiderermisladetinvivremomenpleinemenvtacetteecann?ej'aiauplusieursseinMesdetssonon?quipaussiemesendem'oranl'AssotdesladepPromotionossibilit??rieuredeTpublierv?A/CNAM.plusieursvreprisesd'ablesdiretragrandv?auxpr?sidendeEric,mes?recj'aihercr?aliserhesrappainsiauqu'enymedespLermettanTtXdeLinparticipMercier??lesdesersonnesconf?rencesonscienlutiques.rappPetartson?engagemencorrigert,aussiellecellesam'onsuenmeppassionnerlapJeour?unmadomaine?quilesm'?taitersonnesjusqu'alorsCNAMinconnouru.d?-Mesouemenremerciementouttslongvcesonentautres?galemenAndr?tdirecteurauxcenmemd'enseignemenbresdedeetl'?quipJean-PierreeprofesseurVl'UnivASCO.Pierre-MendesIlsrances'adressenGrenobletrespno-dutammening?nieurten??MonsieurLeurDidierpr?cieuseBert,fortemencconherc?heurr?ussiteCNRS,monquiJeaMonsieurtoujoursGressier,?t?aupr?sendetaris,pmeourl'honneurm'aiderpr?sideraussijurybienainsisurMonsieurl'utilisationedeIng?nieurlaTm?tholadeci?t?Bjequevdans?galemenlamemmisedeenjury?uvreJedeennlafamillebiblioth?quemesjapvleurasansBOB.duranIlstoutessonann?es.ttiensd?di?st?galemenexprimertsinc?re??Ffemme.r?d?ricaetsu,?saAmal,etrespamour,ectiv?emenertforcepconost-douerctoranlesttsetdoctoran
dumas-00523234, version 1 - 4 Oct 2010dumas-00523234, version 1 - 4 Oct 2010.T.able.des.mati?res.Remerciemen.ts.v.1.In.tro.duction.1.Con.textecarte:Historiquela.s?curit?Ladesvsyst?mes22informatiques..norme...26...Exigences.....v.........cat?gories...le.......virtuelle..1.La.probl?matiquetation:.lesNivtec.hnologies.m.ulti-applicativ.es.des.cartes.?Juinpuces....La.Pr?sen........1.Organisation.de.ce.rapp15ortpuce.....tre.....?cicit?.........de.....Ja.........uns.uns.......des.....Crit?res.....4.2....2.I.Con.texte.et.Etat.deInformatiquel'art.5.2.Con.texte.du13stagehnologie7152.1deLepuceLIG............15...................Les.cartes.........16.unication.carte.........3.2.la.................L'arc.mac.v7.2.2.L'?quip.e3.2.2VaCardASCO..............4.Crit?res.4.1.Crit?res.............25.d'?v.Comm.........Organisation.uns...........fonctionnelles........8.2.2.1.La.construction29prouv.?e.de.programmes.et.de.syst?mes....30.vii.2010..........9.2.2.2.La.v.alidation.des3logicielstecparJadesaCardtec3.1hniquestationdelatest?......................9.2.2.3.Construction.de3.1.1mo.d?les.p.our.l'expression.et.la.v.?rication.de.propri?t?s.de.s?curit?............3.1.2.principales.de.?...................3.1.3.comm.en.la.et.lecteur...............17.Sp.de.Ja10aCard2.3.Le.pro.jet.POS?......................3.2.1.hitecture.la.hine.Ja.aCard.............22.L'applet.v......................11.2.3.1.Ob.jectifs..24.La.des.Comm.25.Pr?sen.des.Comm...........................4.1.1.eaux.aluation.Crit?res.uns.................4.1.211des2.3.2CommP.artenaires..................27.Exigences.................................4.3.d'assurance............12.2.3.3.Organisation................M?moire.-.-...
dumas-00523234, version 1 - 4 Oct 2010.T.ABLERBADES.MA.TI?RES644.4.F.amilles.d'exigencesCdedePOS?....Ob.....b.Meca.....59.......et.........en.?.le...80.......F...F31.5d'acc?sLa.m?tho.de.B.33POS?5.1.Indestro.duction.?yB..D?v.....La.......9.2.2.......paquetage.....ob.expression.Classes.......-.....Meca.......y.par...d?le.8.1........33d?le5.2.Les.?tap.esLed'un.d?v.elopp.emenm?canismetmoB........69.POS?.......de...........B.......75.hine.....de......349.2.35.2.1osanLa.spClasses?cication....fournies.....dans.....paquetage...9.3.........M?moire.........57.d'en.our...........58.du.de.pro..34.5.2.2.LeLeranemencontPOS?.mo.POS?...............Le.r?gles.............65.d?le.............8.1.3.corresp.tit?s.de......39.5.2.3.L'impl?men.tation......Le.de.............71.emen.73.de.................73.?..............39.IChargemenId'uneR?alisations.41.6.In.tro.ductionten?bMecaB43.6.1.La.d?marc.he.POSE..fournies.b.......78.dans.ob.constan.......9.2.5.le.........Classes.paquetage.......81.dans.ob.substitution.......classes..........43.6.2.R?le.de.Meca-dans2010POSE................7.3.1.ormats.tr?e.p.RBA.......................7.3.2.ormes.no.au.s?curit?.C.duit46Meca7.Etude.de.p.olitiques.classiques849mo7.1duLestr?lepdeolitiques61discr?tionnairesLe.d?le.s?curit?...............................8.1.1.mo.de.POS?..............50.7.1.1.F.ormats.d'en.tr?e.Meca8.1.2pmoourdynamiqueD.A.C....................67.Le.de.ondance.en.des.d?les.r?gles.dynamique......50.7.1.2.F.ormes.du.no.y.au.de.s?curit?.D.A.C.pro.duit8.1.4parnoMecaau.s?curit?....................52.7.2.Les.p9olitiqueseloppobligatoirest.Meca.9.1.jectifs.Meca...................................9.2.Bo?te.outils.(BoB)..........54.7.2.1.Les.p.olitiques.obligatoires.bas?es.sur.la.conden.tialit?9.2.1.t.m?moire.mac.B............54.7.2.2.Les76pConolitiquesuobligatoireslabas?eso?tesuroutilsl'in.t?grit?......................77.Classes.dans.paquetage55ob.comp7.2.3tF.ormats.d'en.tr?e.Meca.p.our9.2.4MAfourniesCle.b.tes.............79.Classes.dans.paquetage.ob.predicat...............9.2.655fournies7.2.4leFbormes.du.no.y.au.de.s?curit?.MA9.2.7Cfourniesproleduitbpar.Meca..........83.Les.de........56.7.3.Les.p.olitiques.bas?es.sur.les.r?les..........84.Informatique.viii.Juin..
dumas-00523234, version 1 - 4 Oct 2010.T.ABLE.DES.MA.TI?RESour9.3.1.Classes.du.paquetage.bBibliographieoblib.debug....A.1...............d?lisation.de.......A.....ensem...106..86A.2.29.3.2.ClassesLesdu.paquetagerelationsb.oblib.le......2010.de.p.....p...........et.........105........87des9.3.3.Classes.du.paquetagelesb.oblib.predicat....................Les.........-.la.p.et.test.ectiv88.9.3.4.Classes.du.paquetage102b.oblib.comp.onen.t..............Annexes.notations.blistes.notations................92Les9.3.5.Classes.du.paquetage.meca........La.bles.............pr?dicats.bles...........107.d'ensem..........93.9.3.6A.2.4Classe.principale.de.Meca..........108...................M?moire.-.our.mo.de.olitique.s?curit?.p.le.et.ersp.es94POS?9.4.Syn.th?se.du.d?v.elopp.emen.t.deBilanMecaersonnel.......................................102.102.Les.logiques.ensem9510510LesLalogiquesgestion.du.pro.jet.97.10.1.Planning.pr?visionnel.du.stage..............A.2.notations.blistes...............................A.2.1.construction.ensem97.10.2.D?roulemen.t.r?el.du.stage............106.Les.sur.ensem.........................A.2.3.expressions.bles............98.10.3.Implications.annexes......108.Les...................................A.2.5.fonctions....................100.11.Conclusion.101.P.ertinence.de109l'utilisation112desInformatiquem?thoixdesJuinformellesp
dumas-00523234, version 1 - 4 Oct 2010xT2010ABLEJuinDES-MA-TI?RESM?moireInformatique
dumas-00523234, version 1 - 4 Oct 2010

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.