Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario Proof techniques for cryptographic processes. (English) Zbl 1017.68050 SIAM J. Comput. 31, No. 3, 947-986 (2002). Cited in 19 Documents MSC: 68P25 Data encryption (aspects in computer science) 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:process calculi; reasoning about security; semantics; formal methods PDF BibTeX XML Cite \textit{M. Boreale} et al., SIAM J. Comput. 31, No. 3, 947--986 (2002; Zbl 1017.68050) Full Text: DOI