When using formal methods, security protocols are usually modeled with a high level of abstraction. In particular, encryption is assumed to be perfect and cryptographic algorithms and their parameters are often abstracted away. This paper states a set of constraints under which, if an abstract protocol model is secure, then a refined model, which takes into account cryptographic algorithms and parameters, is implied to be secure too. The paper also indicates possible exploitations of this result.

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models / Pironti, Alfredo; Sisto, Riccardo. - (2008), pp. 31-38. (Intervento presentato al convegno International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008) tenutosi a Szklarska Poręba (Poland ) nel 26–28 June 2008) [10.1109/DepCoS-RELCOMEX.2008.34].

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

PIRONTI, ALFREDO;SISTO, Riccardo
2008

Abstract

When using formal methods, security protocols are usually modeled with a high level of abstraction. In particular, encryption is assumed to be perfect and cryptographic algorithms and their parameters are often abstracted away. This paper states a set of constraints under which, if an abstract protocol model is secure, then a refined model, which takes into account cryptographic algorithms and parameters, is implied to be secure too. The paper also indicates possible exploitations of this result.
2008
9780769531793
File in questo prodotto:
File Dimensione Formato  
Soundness_Conditions_for_Cryptographic_Algorithms_and_Parameters_Abstractions_in_Formal_Security_Protocol_Models.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 237.08 kB
Formato Adobe PDF
237.08 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1711291