Abstract PUF (Physical unclonable function) is a new hardware security primitive, and the research on PUFs one of emerging focuses. For PUF-based mutual authentication protocols, method to abstract properties by using logic events proposed, application aspects are extended protocols based security. With interaction protocol formally described events, basic sequences constructed strong property ...