PEAC: a probabilistic, efficient, and resilient authentication protocol for broadcast communications. - Andrea Cirulli; Roberto Di Pietro (SecureComm, 2008)