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]
Abstract is missing.