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.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.
https://hdl.handle.net/11583/1711291