The University of SydneyPage 46-Alice thus verifies that:§Bob signed m§no one else signed m§Bob signed m and not m`non-repudiation:üAlice can take m, and signature KB(m) to court and prove that Bob signed m-Digital signatures §suppose Alice receives msg m, with signature: m, KB(m)§Alice verifies m signed by Bob by applying Bob’s public key KBto KB(m) then checks KB(KB(m) ) = m.§If KB(KB(m) ) = m, whoever signed m must have used Bob’s private key.---+++