FORTH語言理論及其在安全性固件中的應(yīng)用.pdf

1、中國科學(xué)技術(shù)大學(xué)博士學(xué)位論文FTH語言理論及其在安全性固件中的應(yīng)用姓名：肖鎮(zhèn)申請學(xué)位級別：博士專業(yè)：計算機軟件指導(dǎo)教師：趙振西2001.8.1FOR訂語胄理論及其在安全性周件中的應(yīng)用AbstractSecurebootfi珊腳，m蚰aging11ardwareandsupponiIlgopemtmgsystems舭do砸mizedcompiIers，isoneofmemostimport肌tcomponentsofMISC3270Com

2、puterwhichisaVLlwcomputerdesi驢edbyPRClliIlaindependentlyAlmou曲FORTHissuita_blefordevelopingboot血mware，wefmd山atolllymorede印rese盯chin也eoriesofFORTHc舭supponimpkmentingⅦSC3270sec呲bootfi咖w玳e伍cie眥lyWbhavesnldiedinmc0咖sofFORTHs

3、ystematically舭dthoroughly蚰dhaveappliedre砌t∞heivedtoMISC3270bootfi腳w玳succ鶴洲ly111ere剛ts姐dt11eiri皿ovationisf0110謝ng：1Fo眥alspecificatbnofFORTHpmgra瞄isbasisoffomalVeri匆ingconsistencyofprogr撇s、城thtlleirspecifica_do∞髓dfu咀ctiond

4、髂criptioIlsItisalsoaprerequisiteforapplyingFORlHtomoreapplications1kb淞isofspeci母mgFORTHprogramsfomallyisfomalmodelofFORTHIntllis也esis，wein仃oduceafb肌almodelofFORTHb硒ed0nFO姍abs呲tm∞hineWbrdserr塒1temeisdefined鵲functioninspac

5、eOfsystems協(xié)tminmemodelaIldIm也odforcalclllating、∞r(nóng)d∞r(nóng)尬memeh硒alsObeenm1∞ducedFllmlerrnore，wei“trochlcedefinitionofprog姍senmtemeand嘣hodfbrcalcmatingprogmm辯m卸把metooThemodelcanspeci母progmms鋤鋤把mee打bctivelyandc姐beusodiIlveri助ng

6、progmmformally2Bec舭seFORTHus髓“typeless’s詛cktopasspa期m邸ersandcon缸D1inforI】豫tionspm掣a姍ersInuSt瑚肌agep盯an璩tersms協(xié)cksbythei璐elf_It眥yca岫eSubtilecrIDrsof帥eⅡlismatch鋤diIlfluencesapplicatbnncgativelyhlord尉t0∞lVe也epfobl鼬，peopkhadd

7、eVelopcdtypealgebm髓也eo州calbasisoftypecheckmgBut傲Idi曲naltypcalg曲ral∞ksabilitytodcalwitllsub呻e缸d、城ldcardtypeaIld啪notsatis母pncdcalrequi糟ment，so、vein缸Dduceanew劬pealgeb槐i11廿lis也囂isThei加ova廿onoft11enewtyl)ealgebrajsfollowing：u

8、singn漲t0ide塒鳥pa珊∞曲ersillstalcke婦Fect；璐irlgUPB她dLWBinsteadofsin西etypet0rep∞semtherarlgeoftypeofp鋤meters；m印pingstackop盯ationtoe州valencecl船sofstackeffbctsinstcadofsingle咖cke仃cct1knew咖ea玉g曲mcandealwmIsm帕姐dwildcardtypeeffccti

9、velyandisimponant訪appIicatiollsofs蜘cpmgram啪echcc虹ngandprogr踟a_utogene枷on3Wm1∞du∞ancwtcch玎_0109yof哼peill】融renceb髓cdonthe聆w斜pcalgebraItc蛆beusedt0calclllaletW增si驢atu∞ofproF鋤e丘bcthely’muswccaIljudgetypecor托c恤essofprogramWbha