Which of the following protocols is used to provide security for wireless local area networks (WLANs)?