Sökning: onr:"swepub:oai:DiVA.org:uu-29984" >
Formal Specificatio...
-
T. Tanaka, H-M. Chang, K. Taguchi, K. ArakiUppsala universitet,Institutionen för informationsvetenskap
(författare)
Formal Specification and Verification of Security Protocol in RSL
- Artikel/kapitelEngelska1997
Förlag, utgivningsår, omfång ...
-
Software Engineers Association,1997
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-29984
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-29984URI
Kompletterande språkuppgifter
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Ämnesord och genrebeteckningar
-
Formal Methods, Security Protocol, SSL, RSL
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Uppsala universitetInstitutionen för informationsvetenskap
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Procs. of Int'l Symposium on Future Software Technology (ISFST) '97: Software Engineers Association, s. 143-150
Internetlänk