uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Formal Specification and Verification of Security Protocol in RSL
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Social Sciences, Department of Information Science.
1997 (English)In: Procs. of Int'l Symposium on Future Software Technology (ISFST) '97, Software Engineers Association , 1997, 143-150 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
Software Engineers Association , 1997. 143-150 p.
Keyword [en]
Formal Methods, Security Protocol, SSL, RSL
URN: urn:nbn:se:uu:diva-29984OAI: oai:DiVA.org:uu-29984DiVA: diva2:57880
Available from: 2008-10-17 Created: 2008-10-17

Open Access in DiVA

No full text

By organisation
Department of Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 150 hits
ReferencesLink to record
Permanent link

Direct link