Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models