Boreale, Michele ; Gorla, Daniele
Subject and Keywords:cryptographic protocols ; observational equivalence ; Dolev-Yao model ; spi calculus ; process calculi
Description: Publisher:Instytut Łączności - Państwowy Instytut Badawczy, Warszawa
Date: Resource Type: Format: Resource Identifier:ISSN 1509-4553, on-line: ISSN 1899-8852
DOI: ISSN: eISSN: Source:Journal of Telecommunications and Information Technology
Language: Rights Management: