Documents Analysis of the SILC Protocol with Murphi. Overview What is SILC? What is SILC? Stands for Secure...

Slide 1Analysis of the SILC Protocol with Murphi Slide 2 Overview What is SILC? What is SILC? Stands for Secure Internet Live Conferencing. Stands for Secure Internet Live…

Documents Analysis of the SILC Protocol with Murphi

Analysis of the SILC Protocol with Murphi Overview What is SILC? Stands for Secure Internet Live Conferencing. Designed as a secure replacement for IRC (Internet Relay Chat).…