Foundations for analyzing security APIs in the symbolic and computational model
Dans une infrastructure logicielle, les systèmes critiques ont souvent besoin de garder des clés cryptographiques sur des HSM ou des serveurs consacrés à la gestion de clés. Ils ont pour but de séparer les opérations cryptographiques, très critiques, du reste du réseau, qui est plus vulnérable. L...
Main Author: | Künnemann, Robert |
---|---|
Other Authors: | Cachan, Ecole normale supérieure |
Language: | en |
Published: |
2014
|
Subjects: | |
Online Access: | http://www.theses.fr/2014DENS0001/document |
Similar Items
-
Foundations for analyzing security APIs in the symbolic and computational model
by: Künnemann, Robert
Published: (2014) -
Verification and composition of security protocols with applications to electronic voting
by: Ciobâcǎ, Ştefan
Published: (2011) -
Automatic verification of cryptographic protocols : privacy-type properties
by: Cheval, Vincent
Published: (2012) -
Formal verification of secured routing protocols
by: Arnaud, Mathilde
Published: (2011) -
Analyse automatique de propriétés d’équivalence pour les protocoles cryptographiques
by: Chretien, Rémy
Published: (2016)