Visualizaciones | |
---|---|
Analysis of the IBM CCA Security API Protocols in Maude-NPA | 239 |
octubre 2023 | noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | |
---|---|---|---|---|---|---|---|
Analysis of the IBM CCA Security API Protocols in Maude-NPA | 2 | 2 | 3 | 3 | 1 | 4 | 2 |
Visualizaciones | |
---|---|
SSR2014-cameraReady.pdf | 325 |
chp%3A10.1007%2F978-3-319-14054-4_8.pdf | 6 |
3 |
Visualizaciones | |
---|---|
Estados Unidos | 124 |
Francia | 28 |
España | 23 |
China | 20 |
Alemania | 18 |
Suecia | 6 |
Canadá | 3 |
Irlanda | 3 |
Holanda | 3 |
Finlandia | 2 |
Visualizaciones | |
---|---|
Ashburn | 55 |
Valencia | 14 |
Boardman | 10 |
Grenoble | 6 |
Villeurbanne | 6 |
Hangzhou | 5 |
Louisville | 5 |
Manises | 5 |
Beijing | 4 |
Karlsruhe | 4 |