Formalization and tool-supported analysis of TLS

Publikasjonsdetaljer

• Utgiver: Norsk Regnesentral
• Serie: NR-notat ()
• År: 2013
• Antall sider: 39