This document proposes two efficient and lightweight authentication protocols for wireless body area networks (WBANs) that enable remote and anonymous access to healthcare services. The protocols are based on a novel certificateless signature scheme that is computationally efficient and provably secure against existential forgery attacks. They ensure application/service providers cannot disclose users' real identities and prevent the network manager from impersonating legitimate users. A formal analysis shows the protocols meet the security and performance needs of resource-constrained WBANs by providing anonymity while maintaining efficiency and security.