802.11i中安全協(xié)議的形式化驗(yàn)證

1、內(nèi)蒙古大學(xué)碩士學(xué)位論文802.11i中安全協(xié)議的形式化驗(yàn)證姓名：劉靖申請(qǐng)學(xué)位級(jí)別：碩士專(zhuān)業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：葉新銘20060509內(nèi)蒙古大學(xué)碩七學(xué)位論文F O R M A I ．V E R 【F I C A T I O N O F S E C U R n 、Y P R O T O C O LA D O P T ：E D I N 8 0 2 ．1l IA B S T R A C TW i r e l e s sL o c a lA

2、 r e aN e t w o r k s ( W E A N ) ，f a m o u s f o ri t sm o b i l i t y a n d f a c i l i t y , h a sb e e n w i d e l yd e p l o y e di nr e c e n ty e a r s ．W i t h i t sf a s td e v e l o p m e n t ，k i n d s o f a

3、t t a c k s t h a ta i mt o d e s t r o ya c c e s s t oW L A N o r w i r e t a pm e s s a g e st o l e a r n c e r t a i ns e c r e t h a v ea r o u s e dp u b l i cc o r c e m ．I ti s b e c o m i n gm o r ea n dm o r e

4、s i g n i f i c a n tt o e s t a b l i s ha l li n t e g r a t e ds e c u r i t yp r o t o c o lw h i c h i sm u c h s u i t a b l ef o rW L A N ．R e s e a r c h o n f o r m a lv e r i f i c a t i o na n da n a l y s i s

5、 d e a l i n g w i t hs u c h p r o b l e m s i st h e t o p i co f t h i s p a p e r ．8 0 2 ．1 l i s e c u r i t ys t a n d a r d ，w h i c h i se s t a b l i s h e db yI E E E ，i st h ep r i m a r yr e s e a r c hc o n

6、t e n ti nt h i sp a p e r , e s p e c i a l l yi t sf o u r - w a yh a n d s h a k e p r o t o c o lu s e d t o p r o d u c e a n dm a n a g e t h ep a i r - w i s ek e y su s e d t oe n c r y p td a t a ．T h r o u g h

7、o u tt h e v e r i f i c a t i o np r o c e s so fs u c h p r o t o c o l ，a k i n do fD O Sa t t a c k i s f o u n d ．B e s i d e s o t h e r t w op u b l i s h e ds o l u t i o n s ，a n e wi m p r o v e m e n tb a s e

8、d o n d i g i t a l e n v e l o p e t e c h n o l o g y h a s b e e np r o p o s e d ．A P a n d c l i e n tm a k e u s e o f p a i r - w i s em a s t e rk e y a n d p u b l i ck e y a tt h es a m et i m et oe n c r y p t

9、t h e s i g n i f i c a n tp a r a m e t e r sw h i c h a r eu s e dt op r o d u c ep a i r - w i r ek e y sa n d c h e c ki d e n t i t yo f e a c ho t h e r ．T } l i s i m p r o v e m e n tC a ne l i m i n a t et h eD

10、O S a t t a c k sa n dm a k e h a n d s h a k e p r o c e s ss i m p l e r , S Ot h ec o r r e s p o n d i n g c o s t d e c r e a s e d ．T w o m e t h o d s b a s e d o n h i g h - l e v e lP e t r iN e t w i l lb ea d