Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alfredo Pironti, Riccardo Sisto. Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, editors, Third International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2008, June 26-28, 2008, Szklarska Poreba, Poland. pages 31-38, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Alfredo Pironti' in GoogleThis author has not been identified. Look up 'Riccardo Sisto' in Google

runs on WebDSL