Formalization and tool-supported analysis of TLS

Publication details

• Publisher: Norsk Regnesentral
• Series: NR-notat ()
• Year: 2013
• Number of pages: 39