Show simple item record

Embedding CSP in PVS: An Application to Authentication Protocols

dc.contributor.authorDutertre, Bruno
dc.contributor.authorSchneider, Steve
dc.date.accessioned2013-12-02T08:44:20Z
dc.date.available2013-12-02T08:44:20Z
dc.date.issued2013-12-02
dc.identifier.issn1369-1961
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/4561
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Technical Report;736 - Mat 1997
dc.subjectauthentication protocolsen_US
dc.titleEmbedding CSP in PVS: An Application to Authentication Protocolsen_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail
Name:
736_Dutertre&Schneider_05-1997.pdf
Size:
3.094Mb
Format:
application/
View/Open

This item appears in the following Collection(s)

Show simple item record