SCOPUS 정보 검색 플랫폼

Communications in Computer and Information Science

Volumn 147 CCIS, Issue , 2011, Pages 267-272

Formal verification of IEEE802.11i WPA-GPG authentication protocol

(2) Krishnam Raju, K V a Valli Kumari, V b

a SRKR ENGINEERING COLLEGE (India)

b ANDHRA UNIVERSITY (India)

Author keywords

CasperFDR; Formal Verification; WPA GPG

Indexed keywords

ACCESS POINTS; AUTHENTICATION PROTOCOLS; CASPERFDR; FORMAL VERIFICATION; FORMAL VERIFICATIONS; IEEE802.11I; PAPER MODELS; SECURED COMMUNICATION; WIRELESS LAN; WIRELESS STATIONS; WPA-GPG;

AUTHENTICATION; INFORMATION TECHNOLOGY; SPECIFICATIONS;

MOBILE TELECOMMUNICATION SYSTEMS;

EID: 79955114073 PISSN: 18650929 EISSN: None Source Type: Book Series
DOI: 10.1007/978-3-642-20573-6_44 Document Type: Conference Paper

Times cited : (5)

References (10)

1
- 79955120878
- IEEE 802.11i
- IEEE 802.11i. WLAN Security Standards, http://www.javvin.com/ protocol80211i.html
- WLAN Security Standards

2
- 79955094429
- WPA-GPG. December 9
- WPA-GPG. Wireless authentication using GPG Key, Gabriele Monti, December 9 (2009)
- (2009) Wireless Authentication Using GPG Key
- Monti, G.¹

3
- 0031633395
- Casper: A compiler for the analysis of security protocols
- Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of Computer Security 6, 53-84 (1998)
- (1998) Journal of Computer Security , vol.6 , pp. 53-84
- Lowe, G.¹

4
- 0018005391
- Communicating sequential processes
- Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666-677 (1978)
- (1978) Commun. ACM , vol.21 , Issue.8 , pp. 666-677
- Hoare, C.A.R.¹

5
- 0003843704
- Prentice Hall International
- Hoare, C.A.R. (ed.): Communicating Sequential Processes. Prentice Hall International (1985)
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

6
- 3042685819
- Overview of IEEE 802.16 security
- Johnston, D., Walker, J.: Overview of IEEE 802.16 security. IEEE Security & Privacy (2004)
- (2004) IEEE Security & Privacy
- Johnston, D.¹ Walker, J.²

7
- 79955121367
- Modeling and Analysis of IEEE 802.16 PKM Protocols using CasperFDR
- Xu, S., Matthews, M.M., Huang, C.-T.: Modeling and Analysis of IEEE 802.16 PKM Protocols using CasperFDR. In: IEEE ISWCS 2008 (2008)
- (2008) IEEE ISWCS 2008
- Xu, S.¹ Matthews, M.M.² Huang, C.-T.³

8
- 84872848741
- Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR
- Krishnam Raju, K.V., Valli kumari, V., Sandeep varma, N., Raju, K.V.S.V.N: Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR. In: International Conference on advances in information and communication technologies, ICT 2010, Kerala, India (September 2010)
- International Conference on Advances in Information and Communication Technologies, ICT 2010, Kerala, India (September 2010)
- Krishnam Raju, K.V.¹ Valli Kumari, V.² Sandeep Varma, N.³ Raju, K.V.S.V.N.⁴

9
- 79955112797
- accessed on March 14, 2010
- Wpa-Wpa2, http://www.lylebackemort.com/blog/2008/5/10/wpa-wpa2-as- insecure-as-i-expected (accessed on March 14, 2010)
- Wpa-Wpa2

10
- 79955117200
- University of South California, Columbia SC, 29208
- Xu, S., Huang, C.-T., Matthews, M.M.: Modeling and Analysis of IEEE 802.16 PKM Protocol using CasperFDR. University of South California, Columbia SC, 29208
- Modeling and Analysis of IEEE 802.16 PKM Protocol Using CasperFDR
- Xu, S.¹ Huang, C.-T.² Matthews, M.M.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.