There is no fulltext present in this item.

Find Full text  
Title: Timed spi-calculus with types for secrecy and authenticity
Author(s): Haack, C. ; Jeffrey, A.
Publication year: 2005
In: Abadi, M.; DeAlfaro, L. (ed.), Secondary Timed spi-calculus with types for secrecy and authenticity, pp. 202-216
Publisher: Berlin etc. : Springer
ISBN: 3540283099
Series: Lecture Notes in Computer Science ; 3653
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/161691   https://hdl.handle.net/2066/161691

Display more details
Editor(s): Abadi, M.; DeAlfaro, L.
Subject: Digital Security
Organization: Digital Security
Book title: Abadi, M.; DeAlfaro, L. (ed.), Secondary Timed spi-calculus with types for secrecy and authenticity
Page start: p. 202
Page end: p. 216

This item appears in the following Collection(s)

Browse

Statistics