無線局域網(wǎng)ieee802.11認證協(xié)議的模型檢測

1、湖南大學碩士學位論文無線局域網(wǎng)IEEE802.11認證協(xié)議的模型檢測姓名：金秀申請學位級別：碩士專業(yè)：計算機應用技術指導教師：張大方20080512碩士學位論文A b s t r a C tT h e s e c u r i t yo f W L A N p l a y sa ne x t r e m e l ys i g n i f i c a n t r o l ei nw i r e l e s st e c h n o l o

2、g y ．、V h e n I E E E 8 0 2 ．1 1 i s e s t a b l i s h e d ，p r o t o c o l e I n p h a s i z e so no p e na u t h e n t i c a t i o na n dW E P a u t h e n t i c a t i o ns oa st os u p p l e m e n tt h es e c u r i t y

3、 ．T h ea u t h e n t i c a t i o np r o t o c o lc a nm a k et h ew i r e l e s sl a n c o m m u n i c a t i o nm u c h s a f e ra n ds t a b l e ．A st h e1 a t e s tg e n e r a t i o no f s e c u r i t yp r o t o c o l

4、，I E E E 8 0 2 ．1 1 i p r o p o s e s4 一w a yh a n d s h a k e p r o t o c 0 1t oa d m i n i s t r a t ea n d d i s t r i b u t ek e y ；s u p p l e m e n t i n gt h e b l a I l ks p a c ei nW E P ．T h i sp a p e rs i m u

5、 l a t e s 髓dv e r i f i e st h ep r o t o c o lb yt h em e a n so f m o d e lc h e c k i n gt h a t i s a l g o r i t h ma b o u ta u t o m a t i c a lV e r i f i c a t i o np a r a l l e lo rd i s t r i b u t a i o ns

6、y s t e m ．T h ek e y p o i n t o f m o d e l c h e c k i n g i s f o m a l i z a t i o n m o d e le s t a b l i s h m e n t ．F i r s t l y ，o nt h e b a s i so ft r a d i t i o n a lI n o d e le s t I L b l i s h m e n

7、t ，t h i s p a p e r d e f i n e st h ec o n c e p t i o no f i n t e r i o ra n de x t e r i o rs t a t eo f t h em o d e l a n df o r m u l a t e s t h e m o d e l n e e d e d b y S P I Na tt h em o m e n t o fe s t a

8、b l i s h i n g ．S e c o n d l y ；s t a r t st h em o d e l c h e c k i n go f W E P ．T h e r e s u l t so f t h i s c h e c k i n gs h o w t h a t W E P a u t h e n t i c a t i o n p r o t o c o l h a s m a n y d e f e

9、c t s ． A c c o r d i n g t o t h ec i r c u m s t a n c e s i n a c u a lt r a n s p o r t a t i o n a n dt h ed e f e c t s o ft h ek e y ，s t a r t st h em o d e lc h e c k i n g o f4 - w a yh a n d s h a k e t o f i

10、n d o u t t h e n a wo ft h i s p r o t o c o l i n s p e c i f i cc o n d i t i o n ．F i n a l l y ，a n a l y z e s a n dc o n c l u d e st h es e c u r i t yo fw i r e l s s l a nI E E E8 0 2 ．11t h r o u g h t h e s e

11、 t w om o d e l c h e c k i n g s ．M o d e lc h e c k i n g a u t h e n t i c a lp f o t o c o l i s h e l p m li nu n d e r s t a n d i n g ，a n a l y z i n gt h ep r o t o c o la sw e n a sf i n d i n g o u tt h ed e f

12、 c c t s t l l r o u g ht h e c h a r a c t e r so fi t ．T h er e s u l t so ft h e s et w om o d e lc h e c k i n g sc a np r o V et h a tW E P i s s o d e f c c t i V et h a t i t i m p r o p e ri nw i r e l e s sl a n

13、o f h i g h l ys e c u r i t y ．A tt h es a m et i m e ，i ta l s op r o V e st h a t4 - w a y h a n d s h a k ec a n h e l pi m p r o v e t h e k e y a d m i n i s t r a t i o n ．H o w e V e r ' t h en a w so f4 - w

14、a yh a n d s h a k e i nt r a n s p o r t a i o na l s o i n f l u e n c et h e s a f ．e t y o fp r o t o c 0 1 ．T h ee x p e r i m e n tr e s u l t s o ft h i sp a p e r c a n b eu s e d a s t h et h e o r e t i c a l r